Tried adding in System > Settings > Tuneables
- ichwd_load="YES"
- watchdogd_enable="YES"
Also ensured Intel hardware TCO watchdog is enabled in the BIOS
Reboot (and even cold reboot)
But
dmesg | grep ichwd returns no results from CLI.
Appears ichwd is not loading
Use 'ichwd_load' instead of 'ichwd_enable', see https://man.freebsd.org/cgi/man.cgi?query=ichwd