Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 23cdc9219330c1832d25748a76fa077ccf9e773b)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 412a31eb32eab861db5c0576e4bd9ef9dd4d19a8)
@@ -156,5 +156,5 @@
 		 */
 		gdt_new = (struct descriptor *) malloc(GDT_ITEMS *
-		    sizeof(struct descriptor), FRAME_ATOMIC);
+		    sizeof(struct descriptor), FRAME_ATOMIC | FRAME_LOW_4_GiB);
 		if (!gdt_new)
 			panic("couldn't allocate memory for GDT\n");