[Linaro-mm-sig] Re: [PATCH v9 01/14] mm: Add an allocator for CoCo shared memory