Re: [coreboot] [patch v2] ck804 PCIe lane configuration in kconfig