[coreboot-gerrit] Patch merged into coreboot/master: c94d73e mainboard: Clear up remaining SIO_PORT from Kconfig