Linux Kernel contains only C code?