Bon bah voilà, je teste la compilation des modules du firmware 4.0.0 et visiblement ça marche:



Donc voilà ça avance Par défaut je compresserai les sources noyau, et chacun décompressera celles dont il aura besoin, dans un souci d'économie d'espace disque