modify src/teefaa/baremetal_provisioning.py