Update, I could not manage to get a stock kernel (latest or LTS) to boot. Fiddled around with removing the nixos-hardware/raspberry-pi-4 module as well, no difference. I guess I'm compiling this stupid kernel now... so I can at least update that thing again. Very much contemplating getting rid of NixOS on that Pi again, and frickeling some jank to reuse my configs anyway. It's wild how they just made this platform unusable. grrr fed.amazonawaws.com/notes/amgdjm822x8rhg70
