I have a single AMT 4.0 machine I am trying to provision in enterprise mode PSK using open MDTK version 0.1.34 I found at this url http://www.meshcommander.com/open-manageability. It appears to be getting stuck while trying to apply the provisioning changes because it hasn't seeded/set the random number generator.
The machine I'm trying to provision is running debian stretch and I tried to provision it using a separate computer with a windows 10 vm.
Attached is the error log I receive.