Patches for Debian/Ubuntu the Intel OpenCL drivers.