Xiaomi, the Chinese smartphone maker, has registered the trademark “MiOS” in China. This has sparked speculation that the company is developing its own operating system, …