[vardump]

RPi4 has up to 8 GB RAM. I think any RPi with anything better than one 32-bit LPDDR4 memory channel would fare better... at everything. I'd like to see at least a 64 bit wide memory channel if nothing else.