[Tee-dev] [PATCH] xen/arm: optee: fix possible memory leaks