util/misc: use uint32 for crc generation