現状は 10_linux が先に来てしまうので、そっちのメニューが来てしまう。 dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xenをしておくと、xenのメニューが先に来る。 戻すときは以下を実行。 dpkg-divert --rename --remov…