[ros-diffs] [tkreuzer] 44206: add 64 bit POOL_HEADER, to make pool allocations work here, too