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