Source: raspi-firmware Version: 1.20240424+ds-6 Severity: wishlist Dear Maintainer,
the firmware that is currently in sid seems to be VERY picky when it comes to booting from an SD card. The firmware that comes with current Raspberry Pi OS dates to Mar 19 2025 and happily boots from three SD cards that Debian's firmware rejects. Trying to boot with Debian's firmware with uart_2ndstage=1 enabled, one sees lots of "MESS:00:00:31.901664:0: gpioman: gpioman_get_pin_num: pin SDCARD_CONTROL_POWER not defined" on the serial console. Greetings Marc
