A mechanism to identify/forbid/"rewrite" non-temporal instructions (and other)

src/trusted/validator_ragel/validator_x86_64.rl

Index: src/trusted/validator_ragel/validator_x86_64.rl
diff --git a/src/trusted/validator_ragel/validator_x86_64.rl b/src/trusted/validator_ragel/validator_x86_64.rl
index f3bed8406e2b8507fc72765e6f8338f78a3bf095..765fd5135515cf51db1e594d846e650624459628 100644
--- a/src/trusted/validator_ragel/validator_x86_64.rl
+++ b/src/trusted/validator_ragel/validator_x86_64.rl
@@ -70,6 +70,10 @@
                       &instruction_info_collected);
   }
 
+  action unsupported_instruction {
+    instruction_info_collected |= UNSUPPORTED_INSTRUCTION;
+  }
+
   action modifiable_instruction {
     instruction_info_collected |= MODIFIABLE_INSTRUCTION;
   }