[PATCH] kexec: vmlinux: fix physical addresses