With Ubuntu 15.04 and the newest 4.1.0-040100rc1-generic kernel, the system now correctly identifies the available resolutions.
With Ubuntu 15.04 and the newest 4.1.0-040100rc1 -generic kernel, the system now correctly identifies the available resolutions.