fixing namespacing issue for the dummy non sse crc32c_hw