Ticket #1999: stpere_bootsplash.diff

src/system/kernel/boot_splash.cpp

@@ -191 +191 @@
 
     // TODO: Use placement info from images.h
     int x = sInfo->width / 2 - kSplashIconsWidth / 2;
-    int y = sInfo->height / 2 - kSplashLogoHeight / 2;
-    y = y + kSplashLogoHeight;
+    int y = sInfo->height / 2 - kSplashIconsHeight / 2;
 
     int stageLeftEdge = kSplashIconsWidth * stage / BOOT_SPLASH_STAGE_MAX;
     int stageRightEdge = kSplashIconsWidth * (stage + 1)

src/system/boot/platform/bios_ia32/video.cpp

@@ -862 +862 @@
 
     // render splash logo
     int x = gKernelArgs.frame_buffer.width / 2 - kSplashLogoWidth / 2;
-    int y = gKernelArgs.frame_buffer.height / 2 - kSplashLogoHeight / 2;
+    int y = gKernelArgs.frame_buffer.height / 2 - kSplashIconsHeight / 2;
+    y -= kSplashLogoHeight;
     blit_image(kSplashLogoImage, NULL, kSplashLogoWidth, kSplashLogoHeight,
         NULL, x, y);