Bis zur nächsten Demo wirds wieder etwas dauern, muss erst die nächste Full raus in der das behoben ist.

Du könntest Dir eine eigene GetADC bauen, bis das offiziell repariert ist, den Code hast Du ja oben, sind nur ein paar Zeilen.
Es kommt nur die Auswahl des ADC-Kanals dazu, das wird ausserhalb der funktion gemacht.