wdt_i6300esb: register a reset function