[coreboot-gerrit] Change in coreboot[master]: util/testing: Allow adding abuild options to what-jenkins-does