Xiaomi 10 series gets HyperOS update