Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
+++ kernel/arch/arm32/include/mm/page.h	(revision c520034c1c09f379852efaec5da361fb0a910b01)
@@ -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. */