hw/arm/virt-acpi-build: use SMC if booting in EL2