CONFIG_X86=y CONFIG_SOC_QUARK_SE=y CONFIG_BOARD_QUARK_SE_DEVBOARD=y CONFIG_CPU_MINUTEIA=y CONFIG_CONSOLE=y CONFIG_UART_QMSI=y CONFIG_UART_CONSOLE=y CONFIG_SERIAL=y CONFIG_PRINTK=y CONFIG_IPM=y CONFIG_IPM_QUARK_SE=y CONFIG_IPM_QUARK_SE_MASTER=y CONFIG_IPM_CONSOLE_RECEIVER=y CONFIG_ARC_INIT=y CONFIG_PINMUX=y