changed kernel repo to nvertigos