Ok, the solution is the following, as crazy at it may sound. I have to plug in and turn on the external display while the laptop is showing the bios options. If I plug it later, or before switching it on, it won't be detected!
-- External display through display port not working https://bugs.launchpad.net/bugs/636903 You received this bug notification because you are a member of Ubuntu-X, which is subscribed to xorg in ubuntu. _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : ubuntu-x-swat@lists.launchpad.net Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp