Few issue with data returned by clGetDeviceInfo()

I am playing with OpenCL Runtime 16.1.1 for Windows 64 bit and found that clGetDeviceInfo() returns some invalid data when quering my i7-2600K:

- query for CL_DEVICE_SINGLE_FP_CONFIG returned value 0x07 = CL_FP_DENORM | CL_FP_INF_NAN | CL_FP_ROUND_TO_NEAREST. Looks that CL_FP_ROUND_TO_ZERO and CL_FP_ROUND_TO_INF are missing. CL_FP_CORRECTLY_ROUNDED_DIVIDE_SQRT (new in OpenCL 1.2) is probably missing too.

- query for CL_DEVICE_DOUBLE_FP_CONFIG returned value 0x3F = CL_FP_DENORM | CL_FP_INF_NAN | CL_FP_ROUND_TO_NEAREST | CL_FP_ROUND_TO_ZERO | CL_FP_ROUND_TO_INF | CL_FP_FMA. i7-2600K does not support FMA3, so FMA flag look incorrect here.

- query for CL_DEVICE_BUILT_IN_KERNELS returned 0 in param_value_size_ret. My other OpenCL drivers (Nvidia, pocl) returns 1 when value is an empty string. This allows to allocate this many bytes of memory without extra checking if value is zero. Please check if your behavior is compliant with OpenCL standard.