I can confirm that there is no additional circuitry on the ADC
lines---they go directly from the PMIC to the board-to-board header.
Note though that ADCIN are multiplexed signals which will be
tied low when the SEL_MADC_MCPC bit in the CARKIT_ANA_CTRL register is
cleared to 0.