Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision e40b80662ddc08fed1ee4e0ac0dc40f4bea53eaa)
+++ kernel/genarch/src/mm/page_pt.c	(revision 15187c3fe0f95b19837cde4c7f8b673cd31919c6)
@@ -180,5 +180,9 @@
 	 * Destroy the mapping.
 	 * Setting to PAGE_NOT_PRESENT is not sufficient.
-	 */
+	 * But we need SET_FRAME for possible PT coherence maintenance.
+	 * At least on ARM.
+	 */
+	//TODO: Fix this inconsistency
+	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), PAGE_NOT_PRESENT);
 	memsetb(&ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);