Yo por mi parte os doy la razón pero no soy el creador del kernel y no puedo decidir
Yo en su día le comente así por encima si quería colaborar y tal y que le habilitaria un post principal para su kernel.
En cambio siempre esta la clara opción de publicarlo a parte, en abierto en su hilo y para todos.
Lo que se haga, por mi parte, adelante
Saludos
Enviado desde mi Galaxy Nexus usando Tapatalk