[coreboot] Quick questions on the mtrr setup code