I switched my home server from ARM SBCs to a $140 N100 (16GB) and honestly it’s a real improvement.

I love the original concept of the SBCs — affordable and efficient, with hardware acceleration for compute-heavy tasks. But the reality for me lately has just been more trouble than it’s worth, and running a mainline kernel on x64 is such a better experience. (I’m mostly griping at the Orange Pi I had — RPi tend to have better SW support.)