Re: [PATCH] kexec/x86: Always try to fill acpi_rsdp_addr in boot params