After updating the EEPROM of my Raspberry Pi 4 to version "Tue Feb 11 05:00:13 PM UTC 2025 (1739293213)", it no longer booted. I eventually found raspberrypi/rpi-eeprom#668 and raspberrypi/rpi-eeprom#654, which describe the same issue. I read that a newer start4.elf file in the firmware partition would fix the issue (and it does). So I updated the raspberrypifw package locally to version 1.20250430 and copied the files from the output of the raspberrypifw package to /firmware, like the script in nixos/modules/installer/sd-card/sd-image-aarch64.nix does. Afterwards my Pi booted again.

I think the problem occurred because I'm using a GPT partition table instead of MBR.

We can't automatically update these files, so I think the next best thing we can do to prevent users from running into the same issue is updating the raspberrypifw package in Nixpkgs and perhaps adding a release note.

#386454 and #362763 both update the raspberrypifw package but I'm not sure if they update it to a new enough version, as I only tested 1.20250430.