[coreboot] Re: Tree maintenance and build nodes