[coreboot-gerrit] Patch set updated for coreboot: 778cb85 stddef: Add KHz, MHz and GHz constants