Adding this table allows the guest to boot without the console= parameter added to the kernel command line. And anyway, kernel doc Documentation/arm64/acpi_object_usage.txt says it's a required table for arm64.
Andrew Jones (2): ACPI: Add definitions for the SPCR table hw/arm/virt-acpi-build: Add SPCR table hw/arm/virt-acpi-build.c | 44 ++++++++++++++++++++++++++- include/hw/acpi/acpi-defs.h | 72 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 115 insertions(+), 1 deletion(-) -- 1.8.3.1