[SeaBIOS] Re: git repo https not working?