Comment # 9 on bug 955493 from boo35 boo35

(In reply to Andrei Borzenkov from comment #7)
> (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.

No, I get dropped to the EFI shell.

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

So how's the machined supposed to boot to non-xem, kernel-default on EFI if no
relevant boot binary is created on the EFI partition?