[PATCH 3/3] configs: rpi_4_32b_defconfig: enable SDHCI_SDMA config