[coreboot] Overclocking Opteron 6200 from coreboot ?