[coreboot-gerrit] Patch set updated for coreboot: c9217fb rambi: include the EC devices normally on superio