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