Constant rpi_pico_sdk::SYSINFO_BASE

pub const SYSINFO_BASE: u32 = 1073741824;