+checkpoint: fix .ispc kernels for compilation with llc->ptx