[SeaBIOS] [PATCH 4/7] vga: adapt kconfig