Intel kauft sich x86-Know-how für 125 Millionen US-Dollar