linux-wandboard

[WATCHDOG] iTCO_wdt (Intel TCO Timer) driver

Convert the iTCO_wdt driver to a platform device
driver.

Signed-off-by: Wim Van Sebroeck <wim@iguana.be>