Index: BOOK/boot/mips/kernel.xml
===================================================================
--- BOOK/boot/mips/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/mips/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -28,6 +28,14 @@
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
     href="../x86/kernel.xml"
-    xpointer="xpointer(//*[@os='a'])"/>
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/mips64/kernel.xml
===================================================================
--- BOOK/boot/mips64/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/mips64/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -34,4 +34,12 @@
     href="../x86_64/kernel.xml"
     xpointer="xpointer(//*[@os='m1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/ppc/kernel.xml
===================================================================
--- BOOK/boot/ppc/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/ppc/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -30,4 +30,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/ppc64/kernel.xml
===================================================================
--- BOOK/boot/ppc64/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/ppc64/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -34,4 +34,12 @@
     href="../x86_64/kernel.xml"
     xpointer="xpointer(//*[@os='m1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/sparc/kernel.xml
===================================================================
--- BOOK/boot/sparc/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/sparc/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -30,4 +30,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/sparc64/kernel.xml
===================================================================
--- BOOK/boot/sparc64/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/sparc64/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -30,4 +30,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/x86/kernel.xml
===================================================================
--- BOOK/boot/x86/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/x86/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -36,4 +36,12 @@
     href="../../bootable/x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/boot/x86_64/kernel.xml
===================================================================
--- BOOK/boot/x86_64/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/boot/x86_64/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -34,4 +34,12 @@
     32 bit and 64 bit binaries, please make sure that you enable support for
     ELF and emulations for 32bit ELF into the kernel.</para>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/bootable/mips/kernel.xml
===================================================================
--- BOOK/bootable/mips/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/bootable/mips/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -25,4 +25,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/bootable/ppc/kernel.xml
===================================================================
--- BOOK/bootable/ppc/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/bootable/ppc/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -25,4 +25,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/bootable/sparc/kernel.xml
===================================================================
--- BOOK/bootable/sparc/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/bootable/sparc/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -25,4 +25,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/bootable/x86_64/kernel.xml
===================================================================
--- BOOK/bootable/x86_64/kernel.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/bootable/x86_64/kernel.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -25,4 +25,12 @@
     href="../x86/kernel.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/mips/linux-headers.xml
===================================================================
--- BOOK/cross-tools/mips/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/cross-tools/mips/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -26,4 +26,12 @@
     href="../../final-system/common/linux-headers.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/ppc/linux-headers.xml
===================================================================
--- BOOK/cross-tools/ppc/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/cross-tools/ppc/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -26,4 +26,12 @@
     href="../../final-system/common/linux-headers.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/sparc/linux-headers.xml
===================================================================
--- BOOK/cross-tools/sparc/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/cross-tools/sparc/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -26,4 +26,12 @@
     href="../../final-system/common/linux-headers.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/sparc64/linux-headers.xml
===================================================================
--- BOOK/cross-tools/sparc64/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/cross-tools/sparc64/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -26,4 +26,12 @@
     href="../../final-system/common/linux-headers.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/x86/linux-headers.xml
===================================================================
--- BOOK/cross-tools/x86/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/cross-tools/x86/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -26,4 +26,12 @@
     href="../../final-system/common/linux-headers.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/cross-tools/x86_64/linux-headers.xml
===================================================================
--- BOOK/cross-tools/x86_64/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/cross-tools/x86_64/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -26,4 +26,12 @@
     href="../../final-system/common/linux-headers.xml"
     xpointer="xpointer(//*[@os='a'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
Index: BOOK/final-system/common/linux-headers.xml
===================================================================
--- BOOK/final-system/common/linux-headers.xml	(revision f7bd24cb6ba19fdcd22b0ea918dbf9b6df47ece4)
+++ BOOK/final-system/common/linux-headers.xml	(revision e92e63a5ceb18eaca2061bedf7a2cdacb85672a1)
@@ -35,4 +35,12 @@
       directory before entering the commands on this page.</para>
     </note>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p1'])"/>
+
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude"
+    href="../../bootable/x86/kernel.xml"
+    xpointer="xpointer(//*[@os='p2'])"/>
 
     <para os="b">Install the kernel header files:</para>
