Re: [coreboot] Help on setting clock speed in coreboot