Update kernel function resolver