I have the same problem: HDMI ports stopped working after doing a factory reset with the android 9 firmware.
@grandman which path are you referring to?
I've chatted with xiaomi support but I haven't got any confirmation email so I don't know whether they actually opened a case...