[coreboot-gerrit] Patch set updated for coreboot: Makefile: Update jenkins-build-toolchain to run build tests