[coreboot] [PATCH 2/4] Add support for dumping ACPI registers for i7.