Index: BOOK/boot/mips/kernel.xml
===================================================================
--- BOOK/boot/mips/kernel.xml (revision 3a9a339a095c539b4ee1081671eb88739fbcb7bb)
+++ BOOK/boot/mips/kernel.xml (revision 4a4d8f9a5a7af66aa038fff04aff7a97c1fefe6a)
@@ -28,6 +28,14 @@
+
+
+
+
+ xpointer="xpointer(//*[@os='p2'])"/>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Install the kernel header files: