[pgeorgi]

A hard learned lesson we had over at coreboot. Now all the projects we run CI for are heading towards some variant of `make what-jenkins-does` as in https://review.coreboot.org/plugins/gitiles/coreboot/+/refs/...