GPL обвязывает предоставить исходные коды только в случае их изменения и то, только тому, кто приобретает продукт. В итоге теоретически вы можете запросить у них исходные коды, компонентов, что были изменены ими. Но на деле, они не раз заявляли, что у них все своё, самописное, от того и отсутствуют некоторые функции. А ядро, ядро думаю у них обычное, максимум через GPL модуль ядра, они запускают свой fast path и fast tracking, как поступает NVidia со своими драйверами.