Fix defconfig