(coreboot c'est un remplacement de bios, oué, style OLPC)