Rpi changes

[dimitre]

Avoid using maximum cores with make (it increases memory usage and hangs up), but using 3 cores on raspberry pi 4b is a good speed and stability now ccache can be used there too.