kernel/baseconfig/x86/i686/CONFIG_TC1100_WMI