PA_KERN
kexec = kexec_prepare(symend - start + PA_KERN, size,
kexec(rwva, (vaddr_t)addr, PA_KERN + (eh.e_entry - start), size,
kend = PA_KERN + round_page(ksz);
for (pa = PA_KERN, va = kstart; pa < kend; pa += PAGE_SIZE,