[coreboot-gerrit] Patch set updated for coreboot: 88e39e4 veyron_pinky/rk3288: Use KHz, MHz and GHz constants