[PATCH 4.19 015/213] firmware: raspberrypi: Use correct device for DMA mappings