Updated kernel repo url