/meta-agl-bsp/meta-raspberrypi/recipes-kernel/linux/files/
../
0002-Disable-DMA-in-sdhci-driver.patch
0003-Fix-PCIe-in-dom0-for-RPi4.patch
xen-be.cfg