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