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