When shutting down the watchdog timer, special care must be taken
not to overwrite other bits in the register, as it may be shared
with other peripherals.

For example, on the Arcom Vulcan, the register is shared between
the watchdog and the PCI reset line...
Signed-off-by: NMarc Zyngier <maz@misterjones.org>
Signed-off-by: NWim Van Sebroeck <wim@iguana.be>