Re: [coreboot] Changing DRAM Frequency