[SeaBIOS] [PATCH 3/4] vgabios: Move vgabios Kconfig definitions to vgasrc/Kconfig.