[SeaBIOS] [PATCH] build: Don't trash the .config file when src/Kconfig changes.