[coreboot-gerrit] Change in coreboot[master]: src/mainboard/lenovo/t530/Kconfig: Fix PCI device id for the iGPU