Intel OpenCL can't find my 3rd generation CPU

Hi,

I have Intel core i7 Ivybridge processor (4 AVX cores + intel HD 4000 GPU).
I downloaded the Intel OpenCL SDK 1.2. Everything was great and the OpenCL can find and program my CPU and GPU.
However, Now, the Intel OpenCL platform can’t find the CPU. Only the gpu is seen by the OpenCL. For example, the following line of code returns only one device, which it’s the GPU. When i change the options to CL_DEVICE_TYPE_CPU, it returns zero devices!

ciErr1 = clGetDeviceIDs(clPlatformID, CL_DEVICE_TYPE_ALL, 0, NULL, &ret_num_devices);

Any suggestions?
Thanks in advance!