Constant PXE_DHCP_FILE_SIZE 

pub const PXE_DHCP_FILE_SIZE: u32 = 128u32;