[dhcp] Assume PXE options are in DHCPOFFER only if boot menu is included