git: Changed protocol to HTTPS
The tools and kernel repositories are now public. Cloning from the public repositories via SSH doesn't work anymore. We therefore switch to HTTPS as transport protocol.
The tools and kernel repositories are now public. Cloning from the public repositories via SSH doesn't work anymore. We therefore switch to HTTPS as transport protocol.