Non c'est le linker de TIGCC qui fait le stub donc si tu veut changer ca faudra te plonger dans le code source du linkeur de TIGCC avec comme risque de te facher a vie avec Kevin
kernel.h ne fait qu'ajouter un hack sur le main (a enlever d'ailleurs si on a TIGCC 0.95), définir les nouveaux ROMCALL de PreOS et les appels aux librairie les plus standard(graphlib,ziplib,...)