Desarrollo Xiaomi Redmi 5 Plus: ROMs, recovery