[emn13]

As far as I understand it, it's up to the device manufacturer to pick the exact TDP. It's by design that some devices might structurally exceed the base cTDP.

I don't know the figures for lenovo's thinkpad, which is why I quoted the full range AMD offers. And even then, TDP is just a long term target for the purposes of cooling - workload, implementation and environmental (i.e. temperature) details might leave two chips with identical TDPs to nevertheless consume vastly different amounts of energy.

In any case, we simply don't know how much power these systems used under this load. The expectation certainly is that the AMD system used more, but it's not clear how much more.