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