[coreboot-gerrit] Change in edk2[master]: run-jenkins-tests: build in verbose mode