# CONFIG_WILCO_EC_DEBUGFS is not set