Indeed!  In retrospect it basically just worked with trivial changes, I was just getting distracted by various unrelated problems.

In particular, I discovered that one SD card had a tendency to return different data than I had written to it. That probably didn't help with the crash probability :P

 

Hack :-)

Right now it also still tells the kernel it has 2GB via DT. For testing I've overridden that using kernel parameters. I still need to check how the memory info ends up in DT exactly.

And preferably I'd do auto-detection of the memory size, which shouldn't be hard though.

Matthijs