I've been wondering... Should pmap_kenter_pa overwrite an existing entry should it be operating on an unmapped VA. I think that if you want to change a mapping, you should do a pmap_kremove first.