Add mutexes instead of interrupt-clearing into debug printing