[SeaBIOS] [PATCHv2 4/4] Start using Kconfig to configure SeaBIOS settings.