[coreboot-gerrit] New patch to review for coreboot: 9894cf6 pistachio: add timer frequency for SOC; correct platform ID