Fix processor count on RaspberryPi (for -j parameter in MAKEFLAGS)