pub const WDSBP_OPTVAL_PXE_PROMPT_NOPROMPT: u32 = 2u32;