ITCO v4 support

There are two major steps here:

1. detect the LPC PCI device of your board in itco.c (iTCO_chipset_info)

2. take the needed actions for ITCO_V4, deriving it from the kernel’s

drivers/watchdog/iTCO_wdt.c

There are not many places where itco_version/iTCO_version are evaluated,
and I don’t find anything special regarding v4 in the Linux driver on
first glance. Most trickiest might be identifying the right register
layout (iTCO_version_regs) as this abstraction is specific to EBG.

Jan

—
Siemens AG, Technology
Competence Center Embedded Linux