Bah, tout le format kernel est du bricolage. ld-tigcc ne peut qu'implémenter ce qui est là, ça a été inventé bien avant! À la limite on pourrait résoudre le problème des libcalls qui n'en sont pas (libcalls internes à une seule et même lib, il doit y avoir moyen de les reconnaître et de faire ce que tu attends), mais les noms de symbole "magiques" devront forcément rester pour la compatibilité (comme tu l'as déjà remarqué toi-même).