Sorry for the slow response, there was a long weekend in between. Can you try the new kernel from https://kernel.ubuntu.com/~juergh/lp1927037/?
You also need to: echo 'dtoverlay=pcie-32bit-dma' >> /boot/firmware/config.txt
Sorry for the slow response, there was a long weekend in between. Can you try the new kernel from https:/ /kernel. ubuntu. com/~juergh/ lp1927037/?
You also need to: pcie-32bit- dma' >> /boot/firmware/ config. txt
echo 'dtoverlay=