The introductory section of the reference design document for the TIDA-00335 power supply mentions an optional microcontroller, "The design also provides flexibility for battery voltage and current level setting for charge profiling, through an additional external microcontroller." Is additional documentation available about this MCU interface and how it is used and controlled?