Start using Kconfig to configure SeaBIOS settings.