altos: Move ao_adc_single.h API header to kernel/