Considering AMD helped develop, or at least help fund, HBM alongside SK Hynix I wouldn't be surprised if they got some kind of discount when ordering from them but they would probably order from Samsung if SK can't keep up with demand, assuming of course there is enough demand to require AMD to look elsewhere.