Use proper defconfig