Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision c72dc15e1268838fa6c71bd50186bc53b39ee999)
+++ kernel/arch/arm32/include/mm/page.h	(revision 3b71e84dce17092725ada79fab0ccaf7ded86420)
@@ -54,9 +54,9 @@
 
 /* Number of entries in each level. */
-#define PTL0_ENTRIES_ARCH 	(2 << 12)	/* 4096 */
+#define PTL0_ENTRIES_ARCH 	(1 << 12)	/* 4096 */
 #define PTL1_ENTRIES_ARCH 	0
 #define PTL2_ENTRIES_ARCH 	0
 /* coarse page tables used (256 * 4 = 1KB per page) */
-#define PTL3_ENTRIES_ARCH 	(2 << 8)	/* 256 */
+#define PTL3_ENTRIES_ARCH 	(1 << 8)	/* 256 */
 
 /* Page table sizes for each level. */