Use shared kernel memory if available, or use a dummy pool allocator using malloc/free. Change-Id: Ic693d274f3bc05db41d7cba50edb376e78789df6