Patch from Ben Dooks

Ensure the watchdog timer is mapped for use with
the reboot code. Also fixes minor comment typo.

Signed-off-by: Dimitry Andric

Signed-off-by: Ben Dooks
Signed-off-by: Russell King