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