Add support for random number generation.

Arm8.5 introduces RNDR and RNDRRS which both return a 64-bit random number.

Change-Id: I0d942c742232efae5f605233410935512c79b576
diff --git a/src/cpu-features.h b/src/cpu-features.h
index 25c49d7..cd82d3c 100644
--- a/src/cpu-features.h
+++ b/src/cpu-features.h
@@ -100,7 +100,9 @@
   /* Branch target identification.                                          */ \
   V(kBTI,                 "BTI",                    NULL)                      \
   /* Flag manipulation instructions: {AX,XA}FLAG                            */ \
-  V(kAXFlag,              "AXFlag",                 NULL)
+  V(kAXFlag,              "AXFlag",                 NULL)                      \
+  /* Random number generation extension,                                    */ \
+  V(kRNG,                 "RNG",                    NULL)
 // clang-format on