STM32 DMA driver assumes interrupt prioritisation