Constant nando_support::SYSTEM_ADDR_SPACE_WIDTH

pub const SYSTEM_ADDR_SPACE_WIDTH: u32 = 32;