Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/arm32/src/mm/page.c	(revision 91a8f837283629418f6b227ac9232dd63901abf2)
@@ -69,5 +69,5 @@
 #ifdef HIGH_EXCEPTION_VECTORS
 	/* Create mapping for exception table at high offset */
-	uintptr_t ev_frame = frame_alloc(1, FRAME_NONE, 0);
+	uintptr_t ev_frame = frame_alloc(1, FRAME_HIGHMEM, 0);
 	page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, ev_frame, flags);
 #else
Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/arm32/src/ras.c	(revision 91a8f837283629418f6b227ac9232dd63901abf2)
@@ -51,8 +51,5 @@
 void ras_init(void)
 {
-	uintptr_t frame =
-	    frame_alloc(1, FRAME_ATOMIC | FRAME_HIGHMEM, 0);
-	if (!frame)
-		frame = frame_alloc(1, FRAME_LOWMEM, 0);
+	uintptr_t frame = frame_alloc(1, FRAME_HIGHMEM, 0);
 
 	ras_page = (uintptr_t *) km_map(frame, PAGE_SIZE, PAGE_SIZE,