[SeaBIOS] [PATCH 0/8] SeaBIOS code to extract config parameters