Index: arch/ia32/src/acpi/madt.c
===================================================================
--- arch/ia32/src/acpi/madt.c	(revision 8491c4861418774a24bfc679b903b93cda4a4ffb)
+++ arch/ia32/src/acpi/madt.c	(revision 788ccb04ef1c6bc05ec259d42eef9e65de5d33e3)
@@ -132,5 +132,4 @@
 		madt_entries_index_cnt++;
 	}
-	printf("MADT: Found %d entries\n", madt_entries_index_cnt);
 
 	/* create madt apic entries index array */
@@ -142,5 +141,4 @@
 		madt_entries_index[index++] = h;
 	}
-
 
 	/* Quicksort MADT index structure */
Index: arch/ia32/src/pm.c
===================================================================
--- arch/ia32/src/pm.c	(revision 8491c4861418774a24bfc679b903b93cda4a4ffb)
+++ arch/ia32/src/pm.c	(revision 788ccb04ef1c6bc05ec259d42eef9e65de5d33e3)
@@ -70,7 +70,4 @@
 struct tss *tss_p = NULL;
 
-/* TODO: Does not compile correctly if it does not exist ???? */
-int __attribute__ ((section ("K_DATA_START"))) __fake;
-
 /* gdtr is changed by kmp before next CPU is initialized */
 struct ptr_16_32 protected_bootstrap_gdtr = { .limit = sizeof(gdt), .base = KA2PA((__address) gdt) };