Fix kernel defconfig