Re: [U-Boot] [PATCH 06/12] x86: Change write_acpi_tables() signature a little bit