[coreboot-gerrit] Patch set updated for coreboot: 32df227 msi/ms9652_fam10: minor Kconfig cleanup