Value distribution for CL_DEVICE_PREFERRED_VECTOR_WIDTH_HALF on Linux

Value Reports
0173
13
839