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