# CONFIG_ACQUIRE_WDT is not set