Right defconfig
Include kernel