ports which previously had no support for PMAP_NEW now implement the pmap_k* interfaces as wrappers around the non-k versions.