Fix debug print for hwcaps adding stfle ad etf2. 
Add VEX_HWCAPS_S390X_STFLE. This should have been part of r2237.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2303 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/pub/libvex.h b/pub/libvex.h
index 0466801..e229562 100644
--- a/pub/libvex.h
+++ b/pub/libvex.h
@@ -132,6 +132,7 @@
 #define VEX_HWCAPS_S390X_DFP   (1<<9)   /* Decimal floating point facility */
 #define VEX_HWCAPS_S390X_FGX   (1<<10)  /* FPR-GR transfer facility */
 #define VEX_HWCAPS_S390X_ETF2  (1<<11)  /* ETF2-enhancement facility */
+#define VEX_HWCAPS_S390X_STFLE (1<<12)  /* STFLE facility */
 
 /* Special value representing all available s390x hwcaps */
 #define VEX_HWCAPS_S390X_ALL   (VEX_HWCAPS_S390X_LDISP | \
@@ -139,6 +140,7 @@
                                 VEX_HWCAPS_S390X_GIE   | \
                                 VEX_HWCAPS_S390X_DFP   | \
                                 VEX_HWCAPS_S390X_FGX   | \
+                                VEX_HWCAPS_S390X_STFLE | \
                                 VEX_HWCAPS_S390X_ETF2)
 
 #define VEX_HWCAPS_S390X(x)  ((x) & ~VEX_S390X_MODEL_MASK)