NEW_HV_ENTRY
(void) update_boot_entry(mp, NEW_HV_ENTRY, grubsign,
(void) add_boot_entry(mp, NEW_HV_ENTRY, grubsign, XEN_MENU,