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