Index: arch/amd64/src/mm/memory_init.c
===================================================================
--- arch/amd64/src/mm/memory_init.c	(revision 69a03b9cfb46e191913818a67f91474b5bb1cf1f)
+++ arch/amd64/src/mm/memory_init.c	(revision 8725fb4944fbd47ca21c696b0408dc6f7f8ce7bc)
@@ -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)