Re: [PATCH 2/2] tee: add a stub for tee_find_device