Use a defconfig file