[PATCH v5 2/2] arm64: Relax Documentation/arm64/tagged-pointers.txt