[coreboot] Re: Changed only the commit message, but Jenkins build bot still rebuilds - why?