[Linaro-acpi] [RFC PATCH 7/7] hw/arm/virt: Enable dynamic generation of ACPI v5.1 tables