kernel/include/config/ARM_SP805_WATCHDOG