Constant seL4_NumASIDPoolsBits

pub const seL4_NumASIDPoolsBits: u32 = 3;