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