Move aos mem alloc to barrelfish threads