Index: kernel/arch/amd64/src/vreg.c
===================================================================
--- kernel/arch/amd64/src/vreg.c	(revision bae43dceb647887d723d7a5e7253c545ad767440)
+++ kernel/arch/amd64/src/vreg.c	(revision 071cb36ec85fbb5080b097c6251eb6b67cb1f5a3)
@@ -62,6 +62,4 @@
 	frame = frame_alloc(1, FRAME_ATOMIC | FRAME_HIGHMEM, 0);
 	if (!frame)
-		frame = frame_alloc(1, FRAME_ATOMIC | FRAME_LOWMEM, 0);
-	if (!frame)
 		panic("Cannot allocate VREG frame.");