# CONFIG_CHARGER_TPS65217 is not set