BTW: could it just be a hardware problem? I'm currently downloading the Debian Desktop provided by OrangePi itself, just to make sure that the HDMI interface has no problem.
Well, the Debian Desktop works with 1080p on my 4K monitor. So it doesn't seem to be a problem of my board.