Xiaomi can and does use TSMC.