Constant riot_sys::CPU_IRQ_NUMOF

pub const CPU_IRQ_NUMOF: u32 = 48;