Change key types to a 16-bit encoding

All key types now have an encoding on 32 bits where the bottom 16 bits
are zero. Change to using 16 bits only.

Keep 32 bits for key types in storage, but move the significant
half-word from the top to the bottom.

Likewise, change EC curve and DH group families from 32 bits out of
which the top 8 and bottom 16 bits are zero, to 8 bits only.

Reorder psa_core_key_attributes_t to avoid padding.

scripts/generate_psa_constants.py

@@ -61,7 +61,7 @@ static int psa_snprint_key_type(char *buffer, size_t buffer_size,
     default:
         %(key_type_code)s{
             return snprintf(buffer, buffer_size,
-                            "0x%%08lx", (unsigned long) type);
+                            "0x%%04x", (unsigned) type);
         }
         break;
     }