* Added an explicit boot_splash_uninit(). Not really needed, but makes

it clear when boot_splash_set_stage() must no longer be used.
* Free the memory associated with the kernel args before starting the
  init process. Unlike the original TODO stated there are quite a few
  more users of the kernel args (including the boot splash screen),
  hence we can't really do that earlier, unless we decide to copy the
  data over to the kernel heap. 


git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@26344 a95241bf-73f2-0310-859d-f6bbb57e9c96

headers/private/kernel/boot_splash.h

@@ -29,6 +29,7 @@ extern "C" {
 #endif
 
 void boot_splash_init(uint8 * boot_splash);
+void boot_splash_uninit(void);
 void boot_splash_set_stage(int stage);
 
 #ifdef __cplusplus