No OpenCL device

When tuning model for mali gpu, got a lot of warning messages on host machine:

tvm/src/runtime/opencl/opencl_device_api.cc:504: Warning: Using CPU OpenCL device tvm/src/runtime/opencl/opencl_device_api.cc:508: Warning: No OpenCL device

At the same time the tuning process is still go on.