platform ID not always updated and not always accesible through the official API
It would be really useful to have a way to access the platform ID from the official API.
Currently this information resides in
struct trtl_desc (the field is called
However, I also noticed that this value is only updated when the device is opened via
trtl_open_by_id(). If the device is opened via
trtl_open() it is not...