Re: [PATCH v2 08/12] optee: add optee_pool_op_free_helper()