They are publishing their version of the kernel. The problem is that this kernel is so much modified and dirtly patched it is useless to run anything other than Android.

And many device drivers for Android are now proprietary blobs in Android userspace outside of the kernel code.