Intel and AMD were sold lienses that expressly stated that they were for manufacturing only, and that there is a separate license for end users.
From the Alliance website:
In light of these early, important licensing endorsements by Intel and AMD, the market demanded greater clarity and certainty. Since modern systems contain many microprocessors, system manufacturers would remain exposed until all their parts vendors obtained licenses. Indeed, system manufacturers would be exposed not only to infringement claims but also to supply chain and product design disruptions.
The MMP Portfolio Licensing Program therefore focuses licensing requirements and royalty collection on the finished "system-level" product. A royalty-free MMP Portfolio license is also available to manufacturers of chips and other unfinished goods.
I think we should be Ok regarding double dipping.
JMO