config: use correct defconfig for kernel building