[Tee-dev] [PATCH v4 preview 2 5/5] Documentation: tee subsystem and op-tee driver