menu: Do not initialise textmode terminal if QUIET=yes. Addresses #269
diff --git a/common/menu.c b/common/menu.c
index 3a7c84f0..50888264 100644
--- a/common/menu.c
+++ b/common/menu.c
@@ -593,7 +593,9 @@ static void menu_init_term(void) {
}
} else {
#if defined (BIOS)
- vga_textmode_init(true);
+ if (!quiet) {
+ vga_textmode_init(true);
+ }
#endif
}
}
