Is It Time to Rewrite the Operating System in Rust?