[Tee-dev] [PATCH v2 2/6] xen/arm: optee: check for preemption while freeing shared buffers