Is Mini Displayport Dead