grub_platforms_xen
