These ADC cfgs should really be moved into the relevant board_hw_defs.c file.