Asi es, el kernel de linux no es completamente libre, esto según entiendo yo, es que hay algunas partes del código que están sujetas a licencias que son distintas a la GPL.
Pero esto no significa que no puedas ver el código por ti mismo.
Pero esto no significa que no puedas ver el código por ti mismo.