The "4.00GHz" at the end should be the actual clock speed. So it should read "Intel(R) Core(TM) i7-8086K CPU @ 4.00GHz 4.90 GHz"
win7 and win10 showed my overclocked speed for my i5 2500k and i7 2600k, but they reported 100mhz lower then the actual speed.