kernel: Print percentage in splash screen

kernel/src/main.cpp

@@ -151,7 +151,7 @@ static void update_splash(const char* message, u32 current, u32 total)
     Framebuffer::rect(line_begin, line_height + 20, line_length, 16, BLACK);
 
     TextConsole::move_to(Framebuffer::width() / 2 - 100, line_height + 20);
-    TextConsole::print(message).release_value();
+    TextConsole::printf("%s (%d%%)", message, (100 / total) * current).release_value();
 
     TextConsole::move_to(0, 0);
 

libluna/src/Format.cpp

@@ -477,6 +477,7 @@ Result<usize> cstyle_format(const char* format, callback_t callback, void* arg,
         if (*format == '%')
         {
             TRY(format_putchar('%', state));
+            format++;
             continue;
         }