添加以下两个PPA源：
1 Ubuntu-X
deb http://ppa.launchpad.net/ubuntu-x-swat/x-updates/ubuntu precise main
deb-src http://ppa.launchpad.net/ubuntu-x-swat/x-updates/ubuntu precise main
2 Xorg-edgers
deb http://ppa.launchpad.net/xorg-edgers/ppa/ubuntu precise main
deb-src http://ppa.launchpad.net/xorg-edgers/ppa/ubuntu precise main
更新后在附加驱动里就有了ati radeon ，但要卸载原先的ATI／AMD专有的FGLRX图形驱动后方可启用。我的HP431明显发热量就大了很多。
现在的问题是我不知道怎么切换显卡。
换成13.04的使用开源驱动，
这样觉得降热效果还不行，后来看到有个文章，安装Cpufreqd调整CPU频率，就再也没有死机了。具体如下：
打开终端，依次执行：
sudo add-apt-repository ppa:artfwo/ppa
sudo apt-get update
sudo apt-get install cpufreqd indicator-cpufreq
后面的indicator-cpufreq是个控制面板的小插件可以方便设置。可在软件中心安装。
然后就可以看到右上角多了CPU图标，单击即可进行相关选项的调节。
powersave，是无论如何都只会保持最低频率的所谓“省电”模式；
ondemand，默认模式。一有cpu计算量的任务，就会立即达到最大频率运行，等执行完毕就立即回到最低频率；
conservative，翻译成保守（中庸）模式，会自动在频率上下限调整，和ondemand的区别在于它会按需分配频率，而不是一味追求最高频率；
performance，顾名思义只注重效率，无论如何一直保持以最大频率运行。
。ATI显卡就等开源驱动的发热量降下来后再启用。