I'm looking at building a new desktop workstation. I will be using VMWare Workstation to run virtual machines, probably only one or two at a time. I am currently deciding on CPU and the options I am considering either the i7 2600 or the i7 2600K. The 2600 supports VT-x and VT-d instructions but is not overclockable. The 2600K is overclockable (from 3.4GHz stock to 4.5 GHz easily) but lacks the support for VT-x and VT-d.
Which would be more useful for general development, and VMs specifically?