Re: [PATCH 2/2] configs: rpi_arm64: enable SDHCI SDMA support