ifpps: use uint32_t instead of u32