kernel/baseconfig/CONFIG_EUROTECH_WDT