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