redhat/configs: reenable SDHCI for Raspberry Pi 4
Upstream Status: RHEL Only
JIRA: https://issues.redhat.com/browse/RHEL-17148
Support for the Raspberry Pi 4 was mistakenly broken when the list of kernel modules was pruned from the kernel. Let's add CONFIG_MMC_SDHCI_IPROC support back to get that platform booting again.
Signed-off-by: Brian Masney bmasney@redhat.com
Edited by Brian Masney