[SeaBIOS] [PATCH] build: Update kconfig to version in Linux 3.13.