* Matt Fleming <matt@xxxxxxxxxxxxxxxxxxx> wrote: > > x86_init.oem.arch_setup(); > > @@ -962,6 +959,8 @@ void __init setup_arch(char **cmdline_p) > > > > parse_early_param(); > > > > + if (efi_enabled(EFI_BOOT)) > > + efi_memblock_x86_reserve_range(); > > #ifdef CONFIG_MEMORY_HOTPLUG > > /* > > * Memory used by the kernel cannot be hot-removed because Linux > > > > I prefer this version. Please re-send a full patch and update the > subject line to include the "fix" somewhere; it wasn't obvious to me > from the start that this is a bug fix. Agreed. I dropped the commit I just applied to tip:efi/core, since you are handling this, so this patch should come through the regular EFI channels, right? Thanks, Ingo -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html