[coreboot] Quick question on vt8237 smbus