b04d58c
wdmd: fix timing for iTCO_wdt iTCO_wdt does not fire until two successive timeouts, so the values for set/get need to be adjusted by a factor of 2 to make the watchdog fire at the correct time.