vppinfra: missing static_always_inline in crc32c.h