Ce n'est pas un kernel embarqué, c'est du code de démarrage.