Non, tigcc.a est un composant essentiel de TIGCC.
D'ailleurs, les stubs et headers kernel sont là-dedans, donc bonne chance pour faire du kernel sans tigcc.a.