# CONFIG_LENOVO_SE10_WDT is not set
