RE: [PATCH 100/171] Correct SPL uses of HW_WATCHDOG