[Pkg-raspi-maintainers] Bug#1055084: raspi-firmware: Raspberry Pi 4 fails to boot 6.1.0-13-arm64 reliably (detects /dev/mmcblk0 instead of mmcblk1)

[Lucas Nussbaum]

Package: raspi-firmware
Version: 1.20220830+ds-1
Severity: important

After upgrading my RPI4 to bookworm, it no longer boots reliably.
Sometimes the SD card gets detected as mmcblk0, sometimes as mmcblk1,
causing the initramfs to fail to find the root filesystem.

Going back to the bullseye kernel (5.10.0-26-arm64) makes it boot
reliably, detecting the SD card as mmcblk1.