Dzięki za pomoc.
Tak sobie poradziłem ostatecznie:
Sorzystałem z poradnika: https://forum.xda-developers.com/mate-9/how-to/guide-mate-9-flash-update-package-t3593108
Oczywiście wszystko pobrałem, pozmieniałem nazwy i wgrałem na kartę.
Tam piszą, że trzeba rebrand zrobić dwukrotnie wybireając inne tryby, ale po pierwszym telefon mi przestał się uruchamiać do innego trybu niż download lub fabryczne recovery i to mnie zaniepokoiło. Po pierwszym wgraniu blokuje się bootloader i trzeba go odblokować. Na 9. stronie forum pod tym poradnikiem wrecklesswun opisał jak to zrobić, ale tego nie robiłem, bo zanim się tam dokopałem, znalazłem to:
https://forum.android.com.pl/topic/264807--poradnik-pozyskanie-kodu-booloadera-i-jego-odblokowanie-custom-recovery-i-custom-rom?do=embe/
Pobrałem narzędzie z punktu II.2 z postu autorstwa Forum po zmianach, link nie działa i nim odblokowałem (oczywiście mając kod).
Wgrałem na nowo TWRP (bo nie dało się go uruchomić) przy użyciu Minimal ADB and Fastboot. Jak już się dało włączyć telefon w trybie TWRP, zrobiłem drugi raz flashowanie według poradnika w pierwszym linku, w trybie "Same model update". Dopiero wtedy mi się udało wgrać nowy system.
Lubię kombinować, ale każdego telefonu trzeba się nauczyć. W swoich poprzednich też niejednokrotnie przekombinowałem, zanim się nauczyłem.