x86 validator: Implement rewriting "movntq" to "movq" on x86-64

src/trusted/validator_ragel/dfa_validate_common.c

Index: src/trusted/validator_ragel/dfa_validate_common.c
diff --git a/src/trusted/validator_ragel/dfa_validate_common.c b/src/trusted/validator_ragel/dfa_validate_common.c
index 7bb63a584d6ece235f3f0eae07c1c86e7779ce13..7eb44653aaad750b72862e18df520896254ec6a9 100644
--- a/src/trusted/validator_ragel/dfa_validate_common.c
+++ b/src/trusted/validator_ragel/dfa_validate_common.c
@@ -92,6 +92,10 @@ static Bool RewriteNonTemporal(uint8_t *ptr, uint8_t *end, uint32_t info) {
   if (size >= 3 && IsREXPrefix(ptr[0]) && ptr[1] == 0x0f) {
     uint8_t opcode_byte2 = ptr[2];
     switch (opcode_byte2) {
+      case 0xe7:
+        /* movntq => movq */
+        ptr[2] = 0x7f;
+        return TRUE;
       case 0x2b:
         /* movntps => movaps */
         ptr[2] = 0x29;