[SeaBIOS] [PATCH 1/4] vgabios: Improve vgabios Kconfig menu.