Hi Stefan,
it appears that since commit 06985289d45 ("watchdog: Implement generic watchdog_reset() version") - by default - the first watchdog is started unconditionally if CONFIG_WDT is set but never stopped before booting the operating system.
Shouldn't it also be stopped uncondionally? What's worse is that on one board/arch the watchdog is stopped in arch_preboot_os() which is never called in the bootefi case. So even if I'd do a workaround and stop it manually in my board code, I couldn't do that consistently for bootm/bootefi.
Or am I missing something here?
The SoC on my board has a built-in watchdog and I've noticed this behaviour when I was trying to install debian via its stock installer which doesn't have any driver support for it.
-michael