Index: kernel/arch/ppc32/include/arch/mm/as.h
===================================================================
--- kernel/arch/ppc32/include/arch/mm/as.h	(revision 8df5f20c3e20072bcf616568836c1d08eba227c2)
+++ kernel/arch/ppc32/include/arch/mm/as.h	(revision 8c5586cbcee875245cbcc8e57bf16d08c4f811b9)
@@ -39,4 +39,5 @@
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH  0
+#define KERNEL_SEPARATE_PTL0_ARCH           0
 
 #define KERNEL_ADDRESS_SPACE_START_ARCH  UINT32_C(0x80000000)