Ich habe es ausprobiert, leider ohne Erfolg. Der DisplayPort-Ausgang liefert immer noch kein Bild.
Also Strom abgesteckt, Batterie abgesteckt, 5 Minuten gewartet, mit dem "Clear CMOS" Jumper das BIOS zurückgesetzt. Weil dann der DisplayPort immernoch tot war, das gleiche nochmals, aber diesmal...