[SeaBIOS] [PATCHv2 0/4] Minimal import of Kconfig