# CONFIG_BATTERY_LEGO_EV3 is not set