[SeaBIOS] [PATCH 1/4] Initial commit of Kconfig build tool.