Update ADC system call interface to use all args
Update ADC system call interface to use all args

Since we have an extra argument in `command` now, we can avoid
bitpacking in the ADC system call interface

tock/libtock-c,tock/libtock-c,tock/libtock-c