a vedere l'output del primo make sembra che le prenda da arch/i386/Kconfig... comunque provo poi a ricompilarlo col supporto del config, ora nanna... 'notte mod