Constant DEBUG_DATA_KernelVerifierAddr

pub const DEBUG_DATA_KernelVerifierAddr: u32 = 576u32;