[PATCH 04/13] x86: coreboot: Allow ACPI tables to be recorded