Yo tengo unas dudas, y te diré porque. Cuando descargas el source AOSP (4.4) veremos unas carpetas en las cuales podemos modificar líneas del funcionamiento CAF, q es lo q hizo Slim para eliminar los deadlocks utilizando el kernel JWR. Pero luego, necesitas de la web de Google los binarios específicos para la versión de Android.
Entonces me lía. Pero creo q no se pueden modificar los de la carpeta vendor, los otros creo q si.
Tampoco me he parado nunca a pensar en esto

