Bug is *not present* in http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.11.10-saucy/, i.e. the external display is working with that kernel.
Bug is *not present* in http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.11.10- saucy/, i.e. the external display is working with that kernel.