Re: [Tee-dev] [PATCH] optee: remove address tag in check_mem_type()