Still no sign of any benchmarks for i7-3820QM or i7-3920XM. Is there some problem with these devices? I heard rumours of overheating, but those seemed to concern overclocked desktop processors.