defconfig: correti errori di compilazione