Comment # 7 on bug 955493 from Andrei Borzenkov

(In reply to boo35 boo35 from comment #3)
> Currently, no boot.
> 
> Using patched-grub's config for EFI, unable to get past forced EFI shell.

Please explain what actually happens. Do you see GRUB menu? Do you see menu
entry for Xen? What happens when you select this menu entry?

(In reply to boo35 boo35 from comment #6)
> EFI configs & boot-binaries for *all* installed kernels should be installed,
> no?

No.