After the upgrade, the only standard profile avalable resolution is 720x480/60i. However, you can create custom profiles at 1920x1080.
Am I "misremembering"?
Cheers
Wol
Dell Latitude E6510
4 Core i7
8GB
Nikon D5100
Dell Latitude E6510 for dev/editing
Dell XPS 8500 for production
4 Core i7 M620 2.67Ghz
8GB ram
Win 7 professional, Ubuntu 12.4
PowerDirector 10 Ultra
Virtualized Ubuntu Srvr