Re: [PATCH 05/13] x86: coreboot: Collect the address of the ACPI tables