Wenn man deinen Links glauben darf, dann wird der Hardware-Watchdog direkt vom standardmäßigen "it87_wdt" Kernel-Mdoul unterstützt.
Anhand dessen wie du deinen Beitrag aufgebaut hast, hatte ich damit gerechnet, dass ein "out-of-tree" Kernel-Modul dazukompiliert hätte werden müssen.
Dem ist wohl...