This is the resend of V4, there's no update for kexec-tools patches. BTW, below is a git repo for anyone who want to test the patches: https://github.com/daveyoung/linux.git branch kexec-efi To Boris: finally I created a git repo ;) Thanks.