[PATCH] kexec: x86_64: vmlinux: fix physical addresses