Merge pull request #5034 from gilles-peskine-arm/all.sh-makeflags-nproc-2.16

Backport 2.16: Limit make parallelism to the number of CPUs in all.sh