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

[Peter Jones]

Hugh Dickins wrote:
> On Wed, 2 Jul 2008, Peter Jones wrote:
>> 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?

That's fine by me, though TBF I don't think any /users/ have actually 
reported it, not counting myself.

-- 
   Peter