[coreboot] Question about PCIe separate reference clock