Te has adelantado a un post que estaba preparando sobre este tema
Yo personalmente recomiendo el mismo kernel de utilizas tú, el ButteredToast -actualmente van por la 15.2-
Lo utilizo con mi ICS y también sirve para 4.1.2 aunque no para 4.2
Publico algunas cifras de ese kernel en este post:
http://www.htcmania.com/showthread.p...71#post7520171