[txatojon]

Llevo todo el día con el kernel semaphore, que tanto usaba y con tan buenos resultados en mi viejo sgs, y por ahora perfecto. Además el gestor del kernel del play es el mismo y echaba de menos el touchwake.