AttributeError: 'ClockManager' has no attribute 'tdctl'

[benoit74]

I just stumbled on this bug while provisioning a device. Looks like it has zero impact on the provisioning which continued as expected, but probably a good edge case to catch / fix.