Further progress, but still not able to properly read from the SD card.
No idea if it is some DMA issue or if there is some other configuration
problem.