Bug#907837: suggested patch

[Vincent McIntyre <vincent.mcintyre@csiro.au>]

Not quite sure about the wording, but a first try:

diff --git a/en/install-methods/install-tftp.xml b/en/install-methods/install-tftp.xml
index 868c70155..7236fa836 100644
--- a/en/install-methods/install-tftp.xml
+++ b/en/install-methods/install-tftp.xml
@@ -178,7 +178,10 @@ For PXE booting, everything you should need is set up in the
 <filename>netboot/netboot.tar.gz</filename> tarball. Simply extract this
 tarball into the <command>tftpd</command> boot image directory. Make sure
 your dhcp server is configured to pass <filename>pxelinux.0</filename>
-to <command>tftpd</command> as the filename to boot.
+to <command>tftpd</command> as the filename to boot. For UEFI machines,
+you will need to pass an appropriate EFI boot image name (such as
+<filename>/debian-installer/amd64/bootnetx64.efi</filename>).
+
 
 </para><para arch="ia64">
 
diff --git a/en/install-methods/tftp/dhcp.xml b/en/install-methods/tftp/dhcp.xml
index 6982c2a98..97a9ab878 100644
--- a/en/install-methods/tftp/dhcp.xml
+++ b/en/install-methods/tftp/dhcp.xml
@@ -90,5 +90,22 @@ is a boot loader, not a kernel image (see <xref linkend="tftp-images"/>
 below).
 
 </para>
+
+<para>
+If your machine uses UEFI to boot, you will have to specify a boot loader
+appropriate for UEFI machines, for example
+
+<informalexample><screen>
+group {
+  next-server 192.168.1.3;
+  host tftpclient {
+# tftp client hardware address
+  hardware ethernet  00:10:DC:27:6C:15;
+  filename "debian-installer/amd64/bootnetx64.efi";
+ }
+}
+</screen></informalexample>
+</para>
+
    </sect3>
   </sect2>

--