Added the CRC32 instruction.