[PATCH 2/2] wdmd: make the watchdog device configurable