kernel: update darmok

darmok close /dev/watchdog behavior changed. New kernel config parameter
DARMOK_WATCHDOG_TIMEOUT and DARMOK_WATCHDOG_KEEPALIVE available.

Signed-off-by: Mario Schuknecht <mario.schuknecht@dresearch-fe.de>