acpuclock: initial overclock to 2.5 Ghz