defconfig: use defconfig from stock /proc/config.gz