Ajout stdarg dans kernel pour gérer le fastcall de manière transparente. #28