[coreboot-gerrit] New patch to review for coreboot: 3ec1675 slippy/falco/peppy: Fix Chrome OS GPIO export in ACPI