Xiaomi has started pushing out HyperOS 4: flagships in China are getting it now. Here’s when your phone is next in line and what the new system brings.