vgasrc: Increase debug level

You only want this information for debugging. As it also slows down the
boot considerably, as, for example, for every character of the GRUB
menu, something is sent over the serial console.

Therefore, increase the debugging level to 9.

Signed-off-by: Paul Menzel <>
(cherry picked from commit 970af16e6e5a6cb8de6b6658663b8adc00d25b8b)
diff --git a/vgasrc/vgabios.h b/vgasrc/vgabios.h
index 3d5bbfe..e2edec0 100644
--- a/vgasrc/vgabios.h
+++ b/vgasrc/vgabios.h
@@ -73,7 +73,7 @@
 // Debug settings
 #define DEBUG_VGA_POST 1
-#define DEBUG_VGA_10 3
+#define DEBUG_VGA_10 9
 // vgabios.c
 int vga_bpp(struct vgamode_s *vmode_g);