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