Writing a kernel using rustboot & rust-core