Des infos de débogage pour les symboles spéciaux kernel peut-être? Difficile de le dire sans les sources en question. (Et encore, j'espère que ce n'est pas cette horreur de kernel.h qui y est pour quelque chose, sinon c'est mal parti pour le corriger.) Cf. le formulaire qui dit clairement ce qu'il faut joindre. Merci de passer par les voies officielles pour les bug reports, ce forum n'est pas le bon endroit!

Quant à KTIGCC, es-tu volontaire pour compléter et tester KTIGCC 2?