[coreboot-gerrit] Patch set updated for coreboot: 68dd726 slippy: Add EC to the device tree