Clarify cl_khr_kernel_clock vs. event profiling

[MathiasMagnus]

Clarify in the extension spec that the means of conveying time-dimensional meaning to the values returned by kernel clock is implementation/vendor specific. It is not guaranteed to coincide with values measured on the host by event profiling, even if those are documented to depend on timers running on the device.