[SeaBIOS] [PATCH 2/2] Update kconfig to latest version.