Re: [PATCH v3 1/6] docs: staging/tee.rst: add a section on OP-TEE notifications