Updated Steve's kernel repository location