Constant KERNEL_PID_ISR

pub const KERNEL_PID_ISR: u32 = 33;