[coreboot-gerrit] New patch to review for coreboot: d193de3 mainboard/lenovo/t530/Kconfig: No Super I/O on this board