Hola João Pinto,
ese es un archivo que contiene las configuraciones propietarias del hardware y que no forma parte del kernel, sino que se obtiene automáticamente durante el proceso de compilación del kernel, por lo tanto no está bajo la licencia GPL.
Saludos
