[SeaBIOS] [PATCH] update version banner