Since wdt_reset() is defined in 6101_reset.c, it should be available
for 6101 only. For other BSPs, ipmi_watchdog_reset is left to be NULL.
IDENTIFIER = WIND00128779
WIND00130518.zip is for 1.4
1. Unzip the patch under [install_dir]/updates
2. Install the patch CD by entering the patch CD directory and run setup_linux.
3. This is a source only patch so you will have to build the kernel
4. Issue a make fs and make the kernel in a configured directory.
5. Upload the kernel and rootfs into the target and boot it up.
