Las recomendaciones de marera son las que ha puesto el propio Faux en en segundo post del hilo de xda (el link está en la primera página de este mismo hilo).
La verdad es que este kernel funciona muy bien con la R4, así que aquí se queda hasta nueva orden
