Index: kernel/arch/ia32/_link.ld.in
===================================================================
--- kernel/arch/ia32/_link.ld.in	(revision 70047478224039b394ba6d1a4ba25ae4fb58ab81)
+++ kernel/arch/ia32/_link.ld.in	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
@@ -1,10 +1,10 @@
 /** IA-32 linker script
- *  
+ *
  * umapped section:
- * 	kernel text
- * 	kernel data
+ *  kernel text
+ *  kernel data
  * mapped section:
- *	kernel text
- *	kernel data 
+ *  kernel text
+ *  kernel data
  */
 
@@ -29,7 +29,7 @@
 		
 		kdata_start = .;
-		*(.data);			/* initialized data */
-		*(.rodata*);			/* string literals */
-		*(COMMON);			/* global variables */
+		*(.data);               /* initialized data */
+		*(.rodata*);            /* string literals */
+		*(COMMON);              /* global variables */
 		hardcoded_load_address = .;
 		LONG(PA2KA(BOOT_OFFSET));
@@ -43,15 +43,15 @@
 		LONG(unmapped_kdata_end - unmapped_kdata_start);
 		symbol_table = .;
-		*(symtab.*);            	/* Symbol table, must be LAST symbol! */
-		*(.bss);			/* uninitialized static variables */
+		*(symtab.*);            /* Symbol table, must be LAST symbol! */
+		*(.bss);                /* uninitialized static variables */
 		kdata_end = .;
 	}
-
+	
 	/DISCARD/ : {
-		*(.note.GNU-stack);		
+		*(.note.GNU-stack);
 		*(.comment);
 	}
 	
-#ifdef CONFIG_SMP	
+#ifdef CONFIG_SMP
 	
 	_hardcoded_unmapped_size = (unmapped_ktext_end - unmapped_ktext_start) + (unmapped_kdata_end - unmapped_kdata_start);
@@ -59,6 +59,6 @@
 	ap_gdtr = unmapped_ap_gdtr - BOOT_OFFSET + AP_BOOT_OFFSET;
 	protected_ap_gdtr = PA2KA(ap_gdtr);
-
+	
 #endif /* CONFIG_SMP */
-
+	
 }
Index: kernel/arch/ia32/include/fpu_context.h
===================================================================
--- kernel/arch/ia32/include/fpu_context.h	(revision 70047478224039b394ba6d1a4ba25ae4fb58ab81)
+++ kernel/arch/ia32/include/fpu_context.h	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
@@ -38,5 +38,4 @@
 #include <arch/types.h>
 
-#define ARCH_HAS_FPU
 #define FPU_CONTEXT_ALIGN 16
 
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 70047478224039b394ba6d1a4ba25ae4fb58ab81)
+++ kernel/arch/ia32/src/ia32.c	(revision fa024ce932aff7f238e5cabadb9fdd510c75fca9)
@@ -178,4 +178,18 @@
 }
 
+/** Construct function pointer
+ *
+ * @param fptr   function pointer structure
+ * @param addr   function address
+ * @param caller calling function address
+ *
+ * @return address of the function pointer
+ *
+ */
+void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller)
+{
+	return addr;
+}
+
 /** @}
  */