Fix defconfig for Virt2real