.config obtained from 'make menuconfig'