ppc: kernelstakemodifier encoded as string in JSON data