Sorry.  The definition of PIOS_ADC_PORTS just isn't in the patch set.  Ignore me.