ICP's Wafer 5823 SBC has, as far as I can tell, the same WDT as many,
if not all ICP's SBC's (that do have a WDT). I have tested it with
several boards, including Rocky 4783, Rocky 3703 and Rocky 3782.
I propose a rename of the  Wafer 5823 watchdog timer driver
to something like "IPC (SBC) Watchdog Timer", to reflect that it
works with other IPC boards (maybe even all of them).
Signed-off-by: Veljkovic Srdjan <sveljko@gvs.co.yu>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>
          module will be called ibmasr.
 
 config WAFER_WDT
-       tristate "ICP Wafer 5823 Single Board Computer Watchdog"
+       tristate "ICP Single Board Computer Watchdog Timer"
        depends on X86
        help
-         This is a driver for the hardware watchdog on the ICP Wafer 5823
-         Single Board Computer (and probably other similar models).
+         This is a driver for the hardware watchdog on the ICP Single
+         Board Computer. This driver is working on (at least) the following
+         IPC SBC's: Wafer 5823, Rocky 4783, Rocky 3703 and Rocky 3782.
 
          To compile this driver as a module, choose M here: the
          module will be called wafer5823wdt.