Transpiling a Kernel Module to Rust: The Good, the Bad and the Ugly