Improve pool_allocator_t::deallocate performance

Marek Kochanowiczrequested to merge
marek/pool-allocator-update into develop

Merge request reports