There's no particular reason you have to use C to write Linux. Linux is written in C because when the project started, that was the most reasonable choice. It persists today because of inertia and because introducing something better, like C++, would cause big flamewars.

People have written perfectly functional and competent kernels in C#, Java and C++ after all. There's no technical reason why you can't do it.