SBC-C31 has TPS3851 voltage supervisor with integrated watchdog.
GPIO_WATCHDOG is sufficient to have basic watchdog functionality and
manage its pin (WDI), once watchdog is enabled in U-boot using pin (SET1).
Enable GPIO_WATCHDOG_ARCH_INITCALL to raise initcall level to arch_initcall