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