Constant ARBITER_FLAG_BOOT_CONFIG 

pub const ARBITER_FLAG_BOOT_CONFIG: u32 = 1u32;