This "half" of the bug is a duplicate of bug #87802 which has (IMHO) a proper fix attached.
-- xen kernel shows up incorrectly in GRUB boot menu https://launchpad.net/bugs/84929 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
