ocl-icd: rebuild with proper 32bit provides (v2).