vppinfra: correct fixed pool header size calculation