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