bolthur/kernel

AI Summary: The task involves revising the Raspberry Pi SD host driver to utilize DMA for data transfer instead of manual copying, mirroring the existing EMMC driver's implementation. This requires implementing DMA-based data transfer for the SD host, removing redundant manual copy code from both the SD host and EMMC drivers, and eliminating SD host-specific logic from the MMIO server. Thorough testing is needed to ensure both EMMC and SD host drivers function correctly with DMA.