Re: [coreboot] HT devices in v3