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 59ff52ddecc1a8fae7d8227c3d89aba32776e065)
@@ -44,5 +44,5 @@
 #ifdef CONFIG_SMP
 
-extern uint8_t unmapped_kdata_end[];
+extern uint8_t unmapped_end[];
 
 #endif /* CONFIG_SMP */