Enfin, petit truc, il ne démarre qu’en 32 bits, impossible de passer en 64 bits pour le noyau.