Here’s a list of Xiaomi, Redmi and POCO devices to get Android 13 update