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