It would be trivial to provide a PSK identity option where the Python CLI writes a format string instead of an actual PSK identity. Then the prebuilt hex file could sprintf that format string using the IMEI that it reads from the device and store the result as the device's PSK identity.