How to set the RTC max_user_freq in newer kernels
sysutil.conf from newer kernels. Add the following to your /etc/rc.local or another startup script:
echo 2048 >/sys/class/rtc/rtc0/max_user_freq
echo 2048 >/proc/sys/dev/hpet/max-user-freq
Reboot, and you should get better performance from things like mplayer.

