Use the arm64 ttbr macro to define the ASID shift

Now we have a macro to descrive the arm64 TTBR registers use it in the
ASID_TO_OPERAND pmap macro.

Sponsored by: The FreeBSD Foundation