Overclocked kernels

Hi I've had a look at the Elemental X kernel and I noticed that it was overclocked to 2.25Ghz. Is there any way that one could increase it further? Like to 2.5Ghz for better performance?