Xiaomi Mi Box 4 could launch as the Mi Box S