k has the HD3000 while no-k has the HD2000. VT-D and vPro might indeed slow down the chip. they could just disable them for higher k yield. i5 should be just i7 with some defective caches. but only the smaller cache is not enough to differentiate the product so they might turn off the HT for marketing reason.