SebastianFM Overclocked kernels...
You can use the overclocked HTC kernels for ICS available on the link mentioned below. I personally use 1728 MHz kernel on HyperNonSense v1.2 rom. Makes the phone really smooth and gives a very good battery life of around one and a half to two days of medium use. I have also modified the below mentioned values in /system/etc/init.qcom.post_boot.sh under the "msm8660" section:
echo 65 > /sys/devices/system/cpu/cpufreq/ondemand/up_threshold
echo 10 > /sys/devices/system/cpu/cpufreq/ondemand/sampling_down_factor
echo 192000 > /sys/devices/system/cpu/cpu0/cpufreq/scaling_min_freq
echo 192000 > /sys/devices/system/cpu/cpu1/cpufreq/scaling_min_freq
Please press thanks if this helped.