Re: EFI kdump without acpi_rsdp