Re: userspace tagged pointers on 48-VA kernel configuration