RFC Patch [2/2] PXE Add support for proxy DHCP -- EFI Code

Sorry about the HTML in previous message. Hello: Here is the uEFI specific portion. I have tested it on three different platforms without issue. ~joe diff -Naur grub-2.02~beta2/grub-core/net/drivers/efi/efinet.c grub-2.02~beta2-jtm-clean/grub-core/net/drivers/efi/efinet.c --- grub-2.02~beta2

RFC Patch [2/2] PXE Add support for proxy DHCP -- EFI Code

Hello: Here is the uEFI specific portion. I have tested it on three different platforms without issue. ~joe diff -Naur grub-2.02~beta2/grub-core/net/drivers/efi/efinet.c grub-2.02~beta2-jtm-clean/grub-core/net/drivers/efi/efinet.c --- grub-2.02~beta2/grub-core/net/drivers/efi/efinet.c 2013-12