No creo que sea custom...
Habría que estar muy aburrido para hacer un port de miui 10 de otro terminal para este...
Aunque ahora que lo pienso a lo mejor es un port del redmi note 4...
No sé lo dudo mucho encima es la beta pública 8.7.5, ya se verá en unas semanas si es o no real