Esto es tan sencillo como lo siguiente y lo digo sin ser ningún entendido en el tema.
La GPL es sagrada, da igual que uses fuentes de samsung, de google, de supercurio o de quien sea, TODO lo que se ha publicado con licencia GPL tiene que dar las fuentes, sea beta, alpha o estable, eso es totalmente indiferente.
Estamos hablando del kernel de android, que por si no lo sabeis, es el MISMO kernel que utilizan las distribuciones linux de sobremesa ( con sus retoques y ajustes claro ) si no se publicaran las fuentes cyanogenmod no existiria, MIUI no existiria, y desde luego DamianGTO y su kernel no existiria.
Google por ejemplo, hay partes de android que puede variar la licencia ( como gran parte del sistema que tiene licencia apache, lo que hace que gente como MIUI y HTC pueda sacar derivados y cerrar el codigo) pero en el kernel no puede hacer nada !!
GPL es GPL y las fuentes van tan unidas a la publicacion del trabajo, que seria un verguenza publicarlo sin incluirlas.