Согласен. Нарочно проверил. Заменил ADCchNum и St1BuffSize на числа 17 и 64, в том числе и в обёртке-проверке индексов. HardFault_Handler(). Это если убрать атрибут section .bss. Ну и определения числа каналов и размера буфера - в общем заголовочном файле, включённом в обоих файлах кода Си.