[coreboot] Patch merged into master: 2aa6b7f added a config option for ACPI debugging