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