kernel: correct defconfig