[PATCH v7 7/8] arm64: update Documentation/arm64/tagged-pointers.txt