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