It appears that Intel's latest drivers for the HD 4000 includes OpenCL drivers as well. I'll have a report for you guys back by early evening.

Anyways, my T430s has the base standard voltage Core i5 processor - 3320M, I believe?