Script: Use 4.8 GCC for kernel, make defconfig also