Pour résumer :
¤ kernel = code de démarrage débarqué
¤ code de démarrage = kernel embarqué

Donc :
¤ kernel = kernel embarqué débarqué
¤ code de démarrage = code de démarrage débarqué embarqué
Warning! CRC error detected.