[PATCH v3 06/16] x86: coreboot: Collect the address of the ACPI tables