And, as it turns out, unplugging the Display Port cable does in fact change something: HDMI works perfectly fine. As soon as I plug in a Display Port cable, the system immediately hangs.
Some people are describing the same symptoms in this post so, even if I can’t see the same errors in the logs, this issue is most likely a duplicate.