I read this as a validating use case, showing that real kernel use cases can be written in Rust, without seeming temporary in an unserious language until the real code can be written.

Can the same algorithm be written in C? Sure, but it could also have been written in assembly.