x86 validator: Implement rewriting "movntps" to "movaps" on x86-32

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 7eb44653aaad750b72862e18df520896254ec6a9..ec77cad4fa59e9c739c848ed86f82237649dd25b 100644
--- a/src/trusted/validator_ragel/dfa_validate_common.c
+++ b/src/trusted/validator_ragel/dfa_validate_common.c
@@ -83,6 +83,10 @@ static Bool RewriteNonTemporal(uint8_t *ptr, uint8_t *end, uint32_t info) {
     /* movntq => movq */
     ptr[1] = 0x7f;
     return TRUE;
+  } else if (size >= 2 && memcmp(ptr, "\x0f\x2b", 2) == 0) {
+    /* movntps => movaps */
+    ptr[1] = 0x29;
+    return TRUE;
   } else if (size >= 3 && memcmp(ptr, "\x66\x0f\xe7", 3) == 0) {
     /* movntdq => movdqa */
     ptr[2] = 0x7f;