Licson Lee says to YSITD 5. dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen && update-grub