Is my Mac Pro DisplayPort problem solvable with OpenCore configs?