[coreboot] Question about Intel's documentation notations