[patch 0/4] kexec-tools: efi runtime support on kexec kernel