[coreboot] Design discussions on gerrit