OpenCL SDK 1.2 for Linux, without Xeon?

Hi,

I'm excited about doing OpenCl development on my Intel based machine, but I'm wondering if I can use the 1.2 SDK with Linux?  

I have a Intel Core i7-3740QM CPU with an integrated 4000 HD GPU.  I've seen in other postings that it looks like this was possible with the 1.1 SDK, but based on the FAQ I wasn't sure if this capability has made it to 1.2.

If not, could you point me to the download for the 1.1 SDK?  I googled around but the links all seem to point back to 1.2.

Also, to briefly put in a plug for Ubuntu, supporting this would make local development significantly easier.

Thanks, Justin