Perhaps the Intel SDK overwrote the system-default OpenCL Installable Client Drive (ICD) loader with one for the Intel CPU. Could you try reinstalling the OpenCL ICD stuff (opencl-headers, opencl-icd-libopencl1) using dpgk-reconfigure?