Change kernel repo