Make the TCC780x ADC driver work again in the bootloader.