I discovered recently that a Raspberry Pi 5 would be faster than both my sister's and parents' PCs. Just a shame that all cheap ARM boards need proprietary kernels.