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