En CM10 se nota algo de incremento de rendimiento con el Devil (1.0.2) con respecto al de serie.
El de serie funciona realmente bien, pero no viene mal un pequeño incremento de rendimiento
El Semaphore todavía no lo he probado, aunque supongo que ahora mismo cualquier kernel para JB que lleve más governors y sobre todo el smooth ui va mejor que el de serie.