This is simple pool that uses kernel page allocator. This pool can be
used in case OP-TEE supports dynamic shared memory.
Signed-off-by: NVolodymyr Babchuk <vlad.babchuk@gmail.com>
Signed-off-by: NJens Wiklander <jens.wiklander@linaro.org>