[coreboot-gerrit] Patch set updated for coreboot: 1b4b96b chromeos: Fix the region API's CONFIG_CHROMEOS build breakage