[Question] - Official kernel sources for Xiaomi HongMi (Red Rice) smartphone.