Patch to arch/x86/mm/init_32.c causes EFI-32 machines to reboot early in startup

[Hugh Dickins]

On Wed, 2 Jul 2008, Peter Jones wrote:
> Hugh Dickins wrote:
> 
> > Does a CONFIG_SMP=n kernel boot okay with EFI?  I'd expect it to
> > suffer from the same problem, and it just hasn't been tried because
> > you've got 2 or more cores on those machines?  But confirmation or
> > denial would be interesting.
> 
> Well, it hasn't been tried with CONFIG_SMP=n simply because in Fedora we
> haven't been building uniprocessor kernels since SMP alternatives came about.

Right.

> > I've got my fingers crossed: please let us know, thanks.
> > 
> > Hugh
> > 
> > --- 2.6.26-rc8/arch/x86/kernel/efi_32.c	2008-04-17 03:49:44.000000000
> > +0100
> > +++ linux/arch/x86/kernel/efi_32.c	2008-07-02 17:02:36.000000000 +0100
> [...]
> 
> The inline patch works, thanks!

Oh, that's good news, thank you!  I'll write a better description
and send it off to Linus and Ingo for 2.6.26 now.  I'll say "Fedora
reports..." and say "Tested-by: Peter Jones <pjones at redhat.com>",
would that be appropriate?

Hugh