[coreboot] Re: Reducing Jenkins workload