Index: arch/amd64/src/boot/boot.S
===================================================================
--- arch/amd64/src/boot/boot.S	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/amd64/src/boot/boot.S	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -49,5 +49,5 @@
 #define START_STACK (BOOTSTRAP_OFFSET-0x400)
 	
-.section K_TEXT_START
+.section K_TEXT_START, "ax"
 .code16
 .global kernel_image_start
@@ -138,5 +138,5 @@
 	jmp 1b
 				
-.section K_DATA_START
+.section K_DATA_START, "aw", @progbits
 .align 4096
 
Index: arch/amd64/src/pm.c
===================================================================
--- arch/amd64/src/pm.c	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/amd64/src/pm.c	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -117,7 +117,4 @@
 struct tss *tss_p = NULL;
 
-/* TODO: Does not compile correctly if it does not exist ???? */
-int __attribute__ ((section ("K_DATA_START"))) __fake;
-
 void gdt_tss_setbase(struct descriptor *d, __address base)
 {
Index: arch/amd64/src/smp/ap.S
===================================================================
--- arch/amd64/src/smp/ap.S	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/amd64/src/smp/ap.S	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -38,5 +38,5 @@
 #include <arch/mm/page.h>
 	
-.section K_TEXT_START_2
+.section K_TEXT_START_2, "ax"
 
 #ifdef __SMP__
Index: arch/ia32/_link.ld.in
===================================================================
--- arch/ia32/_link.ld.in	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/ia32/_link.ld.in	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -26,6 +26,4 @@
 		*(K_DATA_START);
 		unmapped_kdata_end = .;
-		
-		LONG(0xdeadbeaf);		/* TODO: remove 0xdeadbeaf */						
 	}
 	
Index: arch/ia32/src/boot/boot.S
===================================================================
--- arch/ia32/src/boot/boot.S	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/ia32/src/boot/boot.S	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -34,5 +34,5 @@
 #include <arch/pm.h>
 
-.section K_TEXT_START
+.section K_TEXT_START, "ax"
 .global kernel_image_start
 
@@ -244,5 +244,5 @@
 
 
-.section K_DATA_START
+.section K_DATA_START, "aw", @progbits
 
 .align 4096
Index: arch/ia32/src/boot/memmap.S
===================================================================
--- arch/ia32/src/boot/memmap.S	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/ia32/src/boot/memmap.S	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -36,5 +36,5 @@
 
 .code16
-.section K_TEXT_START_2
+.section K_TEXT_START_2, "ax"
 
 memmap_arch_init:
@@ -109,5 +109,5 @@
 
 
-.section K_DATA_START
+.section K_DATA_START, "aw", @progbits
 
 #memory size in 1 kb chunks
Index: arch/ia32/src/smp/ap.S
===================================================================
--- arch/ia32/src/smp/ap.S	(revision 26f99437b42fb6d4cc901de406b244d5a8dda317)
+++ arch/ia32/src/smp/ap.S	(revision 874e312ae976d6460e845ce58da7c705370665f0)
@@ -31,5 +31,5 @@
 #
 
-.section K_TEXT_START_2
+.section K_TEXT_START_2, "ax"
 
 #ifdef __SMP__