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