Defined VM_MAXKERN_ADDRESS as the maximum address for the kernel address argument to copyin() and copyout().