Index: arch/ia32/src/mm/memory_init.c
===================================================================
--- arch/ia32/src/mm/memory_init.c	(revision 45ba9cff91f85735ed40588cd0454ae9c2fa673c)
+++ arch/ia32/src/mm/memory_init.c	(revision 2fe2046cc5e3134e4ec1ab2647695b3037005e71)
@@ -32,6 +32,7 @@
 #include <print.h>
 
-__u8 e820counter __attribute__ ((section ("BOOT_DATA"))) = 0xff;
-struct e820memmap_ e820table[MEMMAP_E820_MAX_RECORDS] __attribute__ ((section ("BOOT_DATA"))) ;
+__u8 e820counter = 0xff;
+struct e820memmap_ e820table[MEMMAP_E820_MAX_RECORDS];
+__u32 e801memorysize;
 
 size_t get_memory_size(void)