[U-Boot] [PATCH 0/4] add support for loading ACPI tables from QEMU