Building Microkit based system in release mode

[Ivan-Velickovic]

I get the following error when building in release config of Microkit:

error[E0432]: unresolved imports `printing::debug_print`, `printing::debug_println`
  --> /Users/ivanv/.cargo/git/checkouts/rust-sel4-018a7d0b994b8350/43c251d/crates/sel4-microkit/src/lib.rs:47:20
   |
47 | pub use printing::{debug_print, debug_println};
   |                    ^^^^^^^^^^^  ^^^^^^^^^^^^^ no `debug_println` in `printing`
   |                    |
   |                    no `debug_print` in `printing`
   |
   = note: this could be because a macro annotated with `#[macro_export]` will be exported at the root of the crate instead of the module where it is defined
help: a macro with this name exists at the root of the crate
   |
   |
help: a macro with this name exists at the root of the crate
   |
47 - pub use printing::{debug_print, debug_println};
47 + pub use printing::{debug_println, debug_print};
   |