Index: kernel/arch/ia32/include/arch/boot/boot.h
===================================================================
--- kernel/arch/ia32/include/arch/boot/boot.h	(revision 8a1afd26eb90be3d715d4ce522280cbbf475f0a9)
+++ kernel/arch/ia32/include/arch/boot/boot.h	(revision 184f2f8afd2b5e58162ccd6350f9778305850043)
@@ -44,5 +44,5 @@
 #ifdef CONFIG_SMP
 
-extern uint8_t unmapped_kdata_end[];
+extern uint8_t unmapped_end[];
 
 #endif /* CONFIG_SMP */