I tried this suggestion and it did add additional resolution choices in the setup screen. But the monitor is still identified as "Unknown". I am using a Samsung SyncMaster HDMI monitor and have verified that EDID information is being sent from the device. Any idea why Ubuntu still has no idea what the monitor is???