Watchdog Timer WDT Hardware

In order to use the hardware WDT am I required to recompile the kernel? I have a BeagleBone Black RevC

`
sudo grep -i watch /boot/config-3.8.13-bone20
CONFIG_WATCHDOG=y
CONFIG_WATCHDOG_CORE=y
CONFIG_WATCHDOG_NOWAYOUT=y

Watchdog Device Drivers

CONFIG_SOFT_WATCHDOG=y

CONFIG_DW_WATCHDOG is not set

CONFIG_MPCORE_WATCHDOG is not set

CONFIG_OMAP_WATCHDOG=y
CONFIG_TWL4030_WATCHDOG=y

CONFIG_MAX63XX_WATCHDOG is not set

USB-based Watchdog Cards

CONFIG_USBPCWATCHDOG is not set

`