change kernel build scripts to use defconfig