My i-5 7600k CPU shows as 3.80ghz and 3.79ghz. Is this normal?