[coreboot-gerrit] Patch set updated for coreboot: ed4e5b5 rush: Add support for chromeos_ec