added kernel repo for time being