Giving up on harware-triggering ADC1.
ADC-callback in Chibios is currently called by DMA. Probably ADC1 has to be triggered by DMA channel. Don't know how to implement this...