For me bumblebee works, but then the DisplayPort is useless. It would be awesome if bumblebee could automatically detect that the laptop is docked and turned on the external graphics to enable proper functioning of DisplayPort. Or even not automatically, but simpler than uninstalling/installing bumblebee (and fixing the mess it did to config files everytime).