Re: [Linux-stable-mirror] stable-request: OP-TEE drivers fixes from v4.15 submission