Macro debug_println

macro_rules! debug_println {
    () => { ... };
    ($($arg:tt)*) => { ... };
}

Like std::debug_println!, except backed by seL4_DebugPutChar.