kernel バージョンのダウングレード方法

メモ。後でまとめる
http://d.hatena.ne.jp/alexei-karamazov/20130729/1375097413
http://sweng.web.fc2.com/ja/linux/ubuntu/change-default-boot-kernel.html