Ubuntu 12.04LTS の grub2で xen をデフォルトにする

現状は 10_linux が先に来てしまうので、そっちのメニューが来てしまう。

dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen

をしておくと、xenのメニューが先に来る。
戻すときは以下を実行。

dpkg-divert --rename --remove /etc/grub.d/20_linux_xen

　
こちらを参考