Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision 691eb5227bb3faa6ab7918931f4c859c75819ec1)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 5f0f29ce3c25993ee100bdb9354b66dc6b762ae7)
@@ -58,5 +58,5 @@
 	pfn_t start, conf;
 	size_t size;
-
+	
 	for (i = 0; i < e820counter; i++) {
 		if (e820table[i].type == MEMMAP_MEMORY_AVAILABLE) {
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 691eb5227bb3faa6ab7918931f4c859c75819ec1)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 5f0f29ce3c25993ee100bdb9354b66dc6b762ae7)
@@ -155,6 +155,11 @@
 		 * Prepare new GDT for CPU in question.
 		 */
+		
+		/* XXX Flag FRAME_LOW_4_GiB was removed temporarily,
+		 * it needs to be replaced by a generic fuctionality of
+		 * the memory subsystem
+		 */
 		gdt_new = (struct descriptor *) malloc(GDT_ITEMS *
-		    sizeof(struct descriptor), FRAME_ATOMIC | FRAME_LOW_4_GiB);
+		    sizeof(struct descriptor), FRAME_ATOMIC);
 		if (!gdt_new)
 			panic("Cannot allocate memory for GDT.");