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

[Peter Jones]

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.

> 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!

-- 
   Peter