[SeaBIOS] Git repo moving