Per Intel, that CPU has base speed of 2.8 GHz and turbo of 4 GHz, so boosting to 3.8 GHz seem quite reasonable. 85 C seems quite high. What is the temperature at idle? If that is quite high and your case does not seem oddly warm, you might just have a miscalibrated thermal diode.