Fixed repository name of the kernel