Los kernel son diferentes entre la Stable y la Developer, quizás cambiando el kernel de una por la otra y si no se niega a arrancar. Luego a ver que se rompe por otro lado (como por ejemplo, y solo como ejemplo), que deje de funcionar la aplicación que permite cambiar frecuencias y governors en la estable.
Suerte.