[coreboot-gerrit] Patch set updated for coreboot: 0e5c240 chromeos: rename for easier patch merging