Constant PXE_DHCP_SERVER_PORT 

pub const PXE_DHCP_SERVER_PORT: u32 = 67u32;