Updated kernel repo location