CONFIG_SDEI_WATCHDOG=y
