PPC64_KERNBASE
vmst->kimg_start = PPC64_KERNBASE;
vmst->kimg_end = PPC64_KERNBASE + hdr->endkernel - hdr->startkernel;
return (kd->vmst->hdr.startkernel - PPC64_KERNBASE);
va += hdr->startkernel - PPC64_KERNBASE;