1) DHCP Option 67: smsboot\x64\wdsmgfw.efi
2) DHCP Option 60: PXEClient
3) Task Sequence: Select x64 boot image
Nice blogpost
http://henkhoogendoorn.blogspot.com/2014/03/pxe-boot-files-in-remoteinstall-folder.html
Very nice guide to allow UEFI and BIOS machine servicing using PXE:
Using DHCP to Control WDS PXE
https://drive.google.com/open?id=0B-Myn42Tc3zSVDhkRURKZkhCZzQ
