Use SimpleKernel defconfig