[Fedora-xen] Fedora 18 and EFI

I have successfully installed Fedora 18 Beta as Dom0 on one computer, and am now trying to do the same on another. I am using all of the standard Fedora 18 packages, including xen-4.2.0-6.fc18.x86_64. On the second computer, I ended up with an EFI grub2 install. I used yum to install xen, and noted that the package installation did not update /etc/grub2-efi.cfg. I ran grub2-mkconfig by hand, and this added Xen entries to /etc/grub2-efi.cfg. However, booting failed: grub2 complained that it did not know the multiboot keyword. Does anyone have experience getting EFI grub2 to boot Xen/Fedora 18? Is my trouble expected? -- Mike :wq