If not for the merrit of a safer and more suitable language, writing a compatible Kernel from scratch could be worth it just for the cultural reset.
There are so many problems with the way Linux Kernel development functions right now and what a massive uphill battle any progress has been even when just talking about the C code base. I just don't know how you could ever fix this in time.
This is not a technical battle, its a cultural one.
