crc32: move long comment about crc32 fundamentals to Documentation/