[PATCH 5.4 018/202] firmware: raspberrypi: Use correct device for DMA mappings