Redmi4Xだが、4G+3GのDSDSについてGearbestに問い合わせたら、返事が来たよ。
This phone supports 3G+4G dual standby when the sim cards are from different network agencies. だそうだ。
au+docomoとかならokってことなのか？