diff --git a/drivers/firmware/efi/efi.c b/drivers/firmware/efi/efi.c index c406de00883aea7044a14fda3338b82fcdb8cc94..97a0916d6502cb6e8e01d92fb25e3d799cd548ac 100644 --- a/drivers/firmware/efi/efi.c +++ b/drivers/firmware/efi/efi.c @@ -31,6 +31,7 @@ #include #include #include +#include #include @@ -446,6 +447,11 @@ void __init efi_find_mirror(void) if (!mirrored_kernelcore) return; + if (is_kdump_kernel()) { + mirrored_kernelcore = false; + return; + } + for_each_efi_memory_desc(md) { unsigned long long start = md->phys_addr; unsigned long long size = md->num_pages << EFI_PAGE_SHIFT;