Subrata Banik has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/33738 )
Change subject: device/Kconfig: Add HAVE_EXT_GFX kconfig ......................................................................
Patch Set 7:
(1 comment)
https://review.coreboot.org/c/coreboot/+/33738/6/src/device/Kconfig File src/device/Kconfig:
https://review.coreboot.org/c/coreboot/+/33738/6/src/device/Kconfig@133 PS6, Line 133: graphics card and selecting this Kconfig will ask FSP to make IGD disable.
This is not the case in the current patch or one of the following.
I don't understand whats "not the case?"
Also I don't see any reason why you want to disable the onboard IGD.
In general BIOS policy, external display cards are having more privilege over on board graphics, hence in case external gfx been enable then we used to make on board gfx disable. You can verify on your desktop systems.