[Linaro-mm-sig] [PATCH v9 00/14] coco: guest: Add a shared-granule allocator for host-shared memory