# CONFIG_CRC32_BIT is not set