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