[coreboot] Re: Build server maintenance on Saturday, Dec 2