[coreboot-gerrit] Patch set updated for coreboot: 60c8fa7 pistachio: add timer frequency for SOC; correct platform ID