[coreboot] Patch set updated for coreboot: ef9be8c i3100: add smbus_write_byte()