Are you able to try it with a 'normal' screen attached via some other port? That would identify or eliminate HDMI as the problem. For instance - and I really don't know - it could be you have to configure the HDMI output once you've got the system up and running. I'm not sure whether it will automatically output to the HDMI port straight off.
Xiaomi Mi Mix 2 review