drivers/watchdog/geodewdt.c: build fix