I have a new Dell 1747 with an i7 processor. It says it runs at someting like 1.7 GHz with a "turbo" mode of 3+ GHz. Do I have any control over when it switches from one to the other? Can I set it for turbo all the time? How does this work?