Re: [coreboot] HT_CHAIN_* woes