[coreboot] [PATCH 2/3] ec/acpi: make ACPI register pair configurable