HowTo activate ION memory allocator on pandaboard