8156は、TDP 205Wなら行けそうな感じで、英サイトに掲載された価格が5595.42ポンド
（80万円くらい）と超高価格な点からも有りかも。8158　22C 3.0GHzが大分クロック高目
で同価格な点なども符合する。
8153は976.51ポンド（36万円くらい）なので平凡なSKUと思われ、22Cかそれ以下か。
5122は価格（976.51ポンド）から8Cか10C辺りのような気がして来た。