gpu.c: make local array information available through ppcg_kernel