Constant PXE_SERVER_PORT

pub const PXE_SERVER_PORT: u32 = 4011u32;