I release that this system has a fairly old CPU (AMD Sempron 2600+), but does the occurrence of a watchdog event potentially highlight a worrying race condition?
This still happens, and with the kernel upgraded to the latest Debian
unstable kernel version 4.5.2-1 it seems to occur every few hours, which
has now forced me to downgrade to a 3.16 kernel.