Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 071cb36ec85fbb5080b097c6251eb6b67cb1f5a3)
@@ -44,5 +44,5 @@
 {
 	uintptr_t vhpt_frame =
-	    frame_alloc(SIZE2FRAMES(VHPT_SIZE), FRAME_ATOMIC, 0);
+	    frame_alloc(SIZE2FRAMES(VHPT_SIZE), FRAME_LOWMEM | FRAME_ATOMIC, 0);
 	if (!vhpt_frame)
 		panic("Kernel configured with VHPT but no memory for table.");