[PATCH] kexec: x86_64: e820 64bit fix