Check differences of DMA handling between TM4C123 and TM4C129 derivative
Within issue #22 (closed) we applied a workaround to not use UART TX DMA. The output of the ticket was, that the DMA handling between TM4C123 and TM4C129 differs.
For now, it seems that only UART TX DMA is effected. But there might be further issue, e.g. for our hal_spi.c as this makes use of DMA too.
TASK: Check for the difference and fix accordingly!