Re: [coreboot] Overclocking Opteron 6200 from coreboot ?