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