Bah le kernel, c'est juste du code de démarrage débarqué