Have you tried to get 4.2GHz with HT enabled? What vcore do you need then?