[coreboot] Patch set updated for coreboot: 82d775d Add bifferboard