float platform_watchdog_remaining(void);
platform_watchdog_remaining returns the time remaining, in seconds, before the watchdog times out.