Re: [coreboot] HP DL145G3 - BuildBot