pub const DEBUG_KERNEL_INSTALL_DRIVER: u32 = 4u32;