Constant PXE_SERVER_PORT 

pub const PXE_SERVER_PORT: u32 = 4011u32;