Switch back to our kernel repo.