Well, Rust is not that mature, I agree today it would be an option worth considering. But people have been writing ring-0 code in safe languages for decades. And of course there are more dimensions to robust kernel design than chocie of programming language.