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
(cherry picked from commit 459e0b92e8aef0048e19a306c4626ed72356a3d0)