Hi all, Did Xiaomi stop the production of Mi4 64Gb? When I look at their site only the 16Gb is for sale...