use the correct defconfig