Re: Possible race during OP-TEE kernel module device probing