[SeaBIOS] [PATCH] fix buildversion.sh