[Linaro-acpi] [RFC PATCH 3/7] hw/arm/virt-acpi: Generate RSDP and XSDT, add helper functions