Re: [PATCH v8 1/8] arm64: add type casts to untagged_addr macro