On Thu, 31 Mar 2011 09:32:02 CDT, Cliff Wickman said:
> From: Cliff Wickman <cpw@sgi.com>
> 
> After a crash dump on an SGI Altix UV system the crash kernel fails to
> cause a reboot.  EFI mode is disabled in the kdump kernel, so only the
> reboot_type of BOOT_ACPI works.

> +	/*
> +	 * for a kdump kernel the reset must be BOOT_ACPI, not BOOT_EFI, as
> +	 * EFI is not enabled in the kdump kernel.
> +	 */
> +	if (is_kdump_kernel())
> +		reboot_type = BOOT_ACPI;
>  }

What happens if some bozo builds their own kdump kernel that has EFI enabled?