[coreboot] Patch merged into coreboot/master: 82d775d Add bifferboard