I'm purchasing a new notebook. It looks like ATI is about the only display choice these days. I see there are driver packages a livna, including x86_64. Anyone with recent experience with ATI on Linux? Works reasonably well? Hotkey switching for external display and tv-out supported OK?