Bueno, al final le dejé más o menos apañado el móvil a mi amigo que, por cierto, no era un Honor 9 sino un Honor 8 Lite...
En cualquier caso el proceso parece idéntico, lo único que no conseguimos hacer funcionar era la sincronización de contactos de Google con la app Google Contacts.
Por lo demás, sin cambiar la ROM china, la forma de tener la Play Store y demás funcionando es bajarse el famoso GMSInstaller, que es el paquete que tenía Huawei antes de que lo quitaran, para instalar los servicios de Google. Y luego bajarse algún apk de Play Store reciente.
Con eso no basta, da muchos errores, y es porque por defecto al instalar en el Honor los Play Services no cuentan con los permisos necesarios ni se considera app de confianza (esto hay que habilitarlo en Ajustes - Aplicaciones).
Además, el optimizador de batería del Honor por defecto cierra los servicios de Google también, yo se lo configuré como "no cerrar" porque la otra configuración seguro que tenía algún efecto adverso con las notificaciones push.
La app de contactos por lo que sea no reconoce la cuenta de Google, el resto sí (Gmail, Calendario, Youtube, la propia Play Store, etc.), parece un bug de la app de Google Contacts. El resto funciona perfectamente, notificaciones y actualizaciones de los Play Services incluidas.