[SeaBIOS] Re: Git clone of SeaBIOS over HTTPS failing