I'd also like an answer to this.
I'm running OpenCL 1.1, which came with XCode 4.3.3, on the new MacBook Air. OpenCL only identifies my CPU - I only get "Intel Core i5-3427U CPU @ 1.80GHz" when queryingclGetDeviceIDs withCL_DEVICE_TYPE_ALL
Is OpenCL 1.2 required for HD4000?
Does OSX support OpenCL 1.2 yet?
/Johan Torp