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