I think that to use a second channel, all you have to do is enable it. You are right, the samples end up alternated in the buffers.
I don't know of any proper documentation for the adc_init function. I just searched through the Arduino directory for files containing adc_init, then looked at the source files.