Comment # 29 on bug 954126 from Leo Davis

(In reply to Andrei Borzenkov from comment #28)
> (In reply to Leo Davis from comment #27)
> > In the BIOS there's an additional BIOS setting that has to be set called
> > "Reset to Setup Mode" before things will work.  Otherwise, it will boot in a
> > loop.
> 
> Are you sure you tested it with Secure Boot still enabled? "Setup Mode"
> effectively disables Secure Boot.

I am sure it was still enabled when I booted.  But to double check, I disabled
SecureBoot in the BIOS, booted to GRUB, restarted, enabled SecureBoot again,
booted to GRUB, selected the Windows partition, and booted Windows OK.  It
would require more investigation to see if SecureBoot is really on or not, but
the BIOS said it was both times I booted.