[coreboot-gerrit] Patch set updated for coreboot: 3bda7bf armv7/pit: Correct EC device in mainboard configuration.