add debugging output for device initialisation