Change kernel repository