mantel kernel update