Modified kernel repository URL