[coreboot] Can you find faults in this SMBus CMI implementation?