Fix MMC numbering issue for Raspberry Pi 3
authorMike Karels <karels@FreeBSD.org>
Wed, 27 Oct 2021 22:26:15 +0000 (22:26 +0000)
committerMatthias Brugger <mbrugger@suse.com>
Tue, 30 Nov 2021 15:07:40 +0000 (16:07 +0100)
commit874e544e89a7f9f42796b23f8d43c56e203b6e69
tree7a3e2a74a77ef33342c6055b95a990c9a8b2675b
parent5e7e6619c85c090f6b62685a9d90f748f1729d12
Fix MMC numbering issue for Raspberry Pi 3

Using mmc.dtbo from rpi-firmware to switch the controller for the SD
card slot from sdhci to sdhost causes the numbering to change; the
SD card is then not recognized at boot.  Add to the range checked.

Signed-off-by: Matthias Brugger <mbrugger@suse.com>
include/configs/rpi.h