Fix the url of kernel. Https doesn't work in gitorious