Re: [coreboot] Quick questions on the mtrr setup code