Use the correct defconfig for my kernel