[install-guide] Added IPv6 configuration to EFI PXE boot config section

[Jack Reed]

commit 4e36aa4ea4b356899051da13349f6c72573fd3b3
Author: Jack Reed <jreed at redhat.com>
Date:   Fri Jan 4 11:46:58 2013 +1000

    Added IPv6 configuration to EFI PXE boot config section

 en-US/pxe-server-config-efi.xml |   28 ++++++++++++++++++++++++++++
 1 files changed, 28 insertions(+), 0 deletions(-)
---
diff --git a/en-US/pxe-server-config-efi.xml b/en-US/pxe-server-config-efi.xml
index fe3b643..0c464c9 100644
--- a/en-US/pxe-server-config-efi.xml
+++ b/en-US/pxe-server-config-efi.xml
@@ -68,6 +68,34 @@
           }
   }
 </screen>
+
+		    <para>
+		      Configuring a DHCP server for IPv6 differs slightly. Crucially, the <filename>filename</filename> option must be replaced with a <filename>bootfile-url</filename> string. Both identify the boot file that the PXE <command>tftp</command> process should download, but each is specific to the version of the IP protocol being used. <filename>bootfile-url</filename> specifies an IPv6 network location for the boot file.
+		    </para>
+		    <para>
+		      A sample configuration in <filename>/etc/dhcp/dhcpd6.conf</filename> might look like:
+		    </para>
+		    
+<screen>
+  default-lease-time 2592000;
+  preferred-lifetime 604800;
+  option dhcp-renewal-time 3600;
+  option dhcp-rebinding-time 7200;
+  option dhcp6.name-servers 3ffe:501:ffff:100:200:ff:fe00:3f3e;
+  option dhcp6.domain-search "test.example.com","example.com";
+  option dhcp6.info-refresh-time 21600;
+  dhcpv6-lease-file-name "/var/lib/dhcpd/dhcpd6.leases";
+
+  subnet6 3ffe:501:ffff:100::/64 {
+	  range6 3ffe:501:ffff:100::10 3ffe:501:ffff:100::;
+	  range6 3ffe:501:ffff:100:: temporary;
+	  prefix6 3ffe:501:ffff:100:: 3ffe:501:ffff:111:: /64;
+	  
+	  option dhcp6.bootfile-url "tftp://[3ffe:501:ffff:100::1]/bootia32.efi";
+	  option dhcp6.name-servers 3ffe:501:ffff:100::1;
+
+	 }
+</screen>		    
 		</step>
 		
 		<step>