请问从哪里能购买到XTCIEVMK2X？

大家好，

有谁购买到XTCIEVMK2X Rev30的吗？我们找了很多渠道，都没买到。还有的二级代理商告诉我们，他们联系ti，被告知此板卡已经停产了？？？
不知道有人能提供购买此板卡的渠道吗？
还有我们最终项目肯定是要用TCI6638K2K的，这款芯片好买吗？针对这款芯片，还有别型号的EVM板卡吗？鉴于XTCIEVMK2X这么不好买，很担心最后TCI6638K2K这款片子买不到！！

谢谢！