Re: [coreboot] Cache-line trouble on Xeon