Make the user_token 44-bit for TTMs, and have them occupy a unique file space

starting at 0x00100000000. This will hopefully allow us to use
unmap_mapping_range(). Note that user-space will need
64-bit file offset support.