[coreboot-gerrit] Patch merged into coreboot/master: b6092b7 veyron_pinky/rk3288: Use KHz, MHz and GHz constants