[SeaBIOS] [PATCH 3/4] Change kconfig to emit disabled symbols in autoconf.h.