[SeaBIOS] Re: [PATCH] scripts/buildversion.py: allow version to be overridden