diff --git a/headers/private/kernel/boot/platform.h b/headers/private/kernel/boot/platform.h
index dab812d601..506bb7553f 100644
--- a/headers/private/kernel/boot/platform.h
+++ b/headers/private/kernel/boot/platform.h
@@ -30,6 +30,7 @@ extern status_t platform_free_region(void *address, size_t size);
 
 /* misc functions */
 extern bool platform_user_menu_requested(void);
+extern void platform_start_kernel(void);
 
 #ifdef __cplusplus
 }