Re: [coreboot] Design discussions on gerrit