I take back what I said, they do use the higher end variant of exactly that cpu: I7-4980HQ although it's probably aggressively clocked and or binned.