pub const CONFIGFLAG_BOOT_DEVICE: u32 = 262144u32;