port-evbarm/60314: Raspberry PI 5 SD support doesn't work under UEFI

["nick.hudson%gmx.co.uk@localhost via gnats" <gnats-admin%NetBSD.org@localhost>]

>Number:         60314
>Category:       port-evbarm
>Synopsis:       Raspberry PI 5 SD support doesn't work under UEFI
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-evbarm-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Jun 07 19:45:00 +0000 2026
>Originator:     Nick Hudson
>Release:        -current
>Organization:
n/a
>Environment:
any
>Description:
Boot NetBSD on a Raspberry PI 5 with UEFI installed from

https://github.com/NumberOneGit/rpi5-uefi or
https://github.com/worproject/rpi5-uefi

and see 

rpi5-nvme# dmesg | grep -E "sd(hc|mmc)"
[     1.000004] sdhc0 at acpi0 (SDC0, BRCM5D12-0): mem 0x1000fff000-0x1000fff25f irq 305
[     1.000004] sdhc0: SDHC 3.0, rev 16, caps <15eac832/80002570>, 32-bit ADMA2, 200000 kHz, HS 1.8V 3.3V, re-tuning mode 1 (16s timer), 2048 byte blocks
[     1.000004] sdmmc0 at sdhc0 slot 0
[     1.000004] sdhc1 at acpi0 (SDC1, BRCM5D12-1): mem 0x1001100000-0x100110025f irq 306
[     1.000004] sdhc1: SDHC 3.0, rev 16, caps <55eec832/80002524>, 32-bit ADMA2, 200000 kHz, embedded slot, HS DDR50 1.8V 3.3V, re-tuning mode 1 (16s timer), 2048 byte blocks
[     1.000004] sdmmc1 at sdhc1 slot 0
[     4.492053] sdmmc1: autoconfiguration error: couldn't send I/O OCR
[     4.502053] sdmmc1: autoconfiguration error: couldn't enable card: 60
[     7.652088] sdmmc1: autoconfiguration error: couldn't send I/O OCR
[     7.662088] sdmmc1: autoconfiguration error: couldn't enable card: 60
[    10.552120] sdmmc0: autoconfiguration error: couldn't enable card: 60
rpi5-nvme#
>How-To-Repeat:
see above
>Fix: