[SeaBIOS] [PATCH] Specify Python version