Xiaomi Mi Box 4 and Mi Box 4c with 4K HDR launched: Everything you need ...