[coreboot-gerrit] [M] Change in coreboot[main]: device/Kconfig: Move Intel/ACPI/USB4 specific Kconfig options