[PATCH 5.15 039/402] firmware: raspberrypi: Use correct device for DMA mappings