Fix OpenCL kernel for Mali