OK, gracias.
Yo empezaré a probar todas las funciones con el kernel de ButteredToast.
Por cierto, este kernel permite elegir durante la instalación qué drivers de vídeo se van a utilizar y en mi caso he elegido los proporcionados por HTC y no los de agraben.