J'ai fait la demande. On verra si j'ai une réponse.
En attendant, je vais aller acheter KingKong chez Cash tout à l'heure. Je croise les doigts pour trouver une version
Edit : j'ai eu ma réponse, il est impossible de lancer linux sans KingKong.
Il me reste à trouver KingKong (très facile) et un Kernel debug 4532/4548 (alors là, je ne vois pas comment)