Re: [U-Boot] [PATCH v1] x86: Fix reference to QEMU variant of write_acpi_tables()