Intel to give HD4000 a performance boost with OpenCL 1.2