Intel is no better

Last I checked, all the x86 chips from intel are implementing only 48 bits of VA in pointers. Which is actually a limitation for various kinds of server software. Specifically software that's encoding metadata into the upper bits of pointers.