into kernel_object where this was missing. This is a no-op on ports where VM_MIN_KERNEL_ADDRESS==0, ie all but cesfic. Confirmed and corrected by Chuck Silvers.