Re: [coreboot] Question about Intel's documentation notations