[coreboot] Patch set updated for coreboot: c8b07c7 Add Supermicro X7DB8 motherboard