[coreboot-gerrit] Patch merged into coreboot/master: dfc1ca7 mainboard/lenovo/t530/Kconfig: No Super I/O on this board