Why is the MSO and AWG limited to 8 bit resolution? It looks like the ATxmega128A1 has 12 bit capability for both DAC and ADC?