Re: [PATCH] optee: register TEE devices only once fully initialized