Fix Kconfig.iosched