[Pkg-raspi-maintainers] Bug#1107602: may we have an experimental upload please?

[Marc Haber]

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