bootengine: supply acpi_rsdp to kexec on efi systems
Merge pull request #921 from vcaputo/bootengine_acpi_rsdp

bootengine: supply acpi_rsdp to kexec on efi systems