Use correct defconfig