[dhcp] Use correct DHCP options on EFI systems