[coreboot-gerrit] Patch set updated for coreboot: 475913b libpayload: mips: add SOC CPU frequency; correct platform ID