[coreboot] Help on setting clock speed in coreboot