Last week, Xiaomi launched the Redmi Note 10 series for global markets. The lineup includes a total of five devices. They are yet to go on sale but the company has already released the kernel source ...