[PATCH RFC v2 4/8] tee: optee: add RPMI dynamic shared-memory pool