Hi guys. My friend has an intel i5-3570k and says that hist turbo boost won't boost to 3.8ghz as its supposed to. It only boosts to 3.6ghz. He rendered with 3DSMAX and had CPUZ running and his core speed never exceeds 3600mhz but his turbo boost should boost to 3800mhz. What could be the reason?