pub const CONFIGFLAG_NETBOOT_CARD: u32 = 4096u32;