Virons le mechant BIOS prioritaire !
Installons http://www.linuxbios.org/
A un BIOS sous license GPL
Prochaine etape : mettre les codes de la carte graphique sous GPL.
Si vous me cherchez, je suis deja dehors.