CONFIG_X86=y
CONFIG_PLATFORM_QUARK_SE_X86=y
CONFIG_CPU_MINUTEIA=y
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_NS16550=y
CONFIG_PRINTK=y
CONFIG_IPI=y
CONFIG_IPI_QUARK_SE=y
CONFIG_IPI_QUARK_SE_MASTER=y
CONFIG_IPI_CONSOLE_RECEIVER=y
CONFIG_ARC_INIT=y