Change BKPT and UDF encodings on ARM.

src/trusted/validator_arm/armv7.table

 # ARMv7 Instruction Encodings
 #
 # This table is derived from the "ARM Architecture Reference Manual, ARMv7-A
 # and ARMv7-R edition" and is used here with the permission of ARM Limited.
 # Reproduction for purposes other than the development and distribution of
 # Native Client may require the explicit permission of ARM Limited.
 
 # This file defines the Native Client "instruction classes" assigned to every
 # possible ARMv7 instruction encoding.  It is organized into a series of tables,
 # and directly parallels the ARM Architecture Reference Manual cited above.
@@ skipping 997 matching lines @@
 | "          "        -         ~1111 = Binary2RegisterBitRangeMsbGeLsb
                                         => Defs12To15CondsDontCareMsbGeLsb
                                         Bfi_Rule_18_A1_P48
                                         cccc0111110mmmmmddddlllll001nnnn
                                         RegsNotPc (v6T2)
 | 1111x      x10      -         -     = Binary2RegisterBitRangeNotRnIsPcBitfieldExtract
                                         => Defs12To15CondsDontCareRdRnNotPcBitfieldExtract
                                         Ubfx_Rule_236_A1_P466
                                         cccc0111111mmmmmddddlllll101nnnn
                                         RegsNotPc (v6T2)
-| 11111      111      -         -     = Roadblock  # Permanently Undefined
+| 11111      111      -         -     = PermanentlyUndefined
                                         # Note: the UDF mnemonic only applies
                                         #   when cond == 0b1110, but all
                                         #   encodings are permanently undefined.
                                         Udf_Rule_A1
                                         cccc01111111iiiiiiiiiiii1111iiii
 | else:                               = Undefined  # Note on page A5-21
 +--
 
 # None of the instructions in the following table set NZCV flags.
 # Some do set the APSR's sticky Q bit (for saturation) or the GE bits,
@@ skipping 1275 matching lines @@
 | "     1001    "
 | "     1101    =VectorLoad  # VLD2(single, all lanes)
 | "     0x10    =VectorLoad  # VLD3(single)
 | "     1010    "
 | "     1110    =VectorLoad  # VLD3(single, all lanes)
 | "     0x11    =VectorLoad  # VLD4(single)
 | "     1011    "
 | "     1111    =VectorLoad  # VLD4(single, all lanes)
 | else:         =Undefined   # Note on page A7-27
 +--