Forgot to change the kernel repo as well.