Aufgrund der Informationen, die bei Wikipedia und Intel verfügbar sind, würde ich davon ausgehen, dass ja.
Aus dem Wikipedia-Eintrag:
PCLMULQDQ Performs a carry-less multiplication of two 64-bit integers
die der Flagge entspricht, die Sie haben.