Use grub-file to figure out whether multiboot2 should be used for Xen.gz