[coreboot] Patch merged into coreboot/master: b69c7c9 ACPI: Add a method to notify OS to re-read _PPC