diff --git a/headers/private/kernel/boot/platform.h b/headers/private/kernel/boot/platform.h
index d9a823e8e8..8f2d664196 100644
--- a/headers/private/kernel/boot/platform.h
+++ b/headers/private/kernel/boot/platform.h
@@ -29,6 +29,8 @@ extern status_t platform_allocate_region(void **_virtualAddress, size_t size, ui
 extern status_t platform_free_region(void *address, size_t size);
 
 /* misc functions */
+extern void platform_switch_to_logo(void);
+extern void platform_switch_to_text_mode(void);
 extern bool platform_user_menu_requested(void);
 extern void platform_start_kernel(void);