Intel Quark platform support

configname: CONFIG_X86_INTEL_QUARK

Linux Kernel Configuration
└─>Processor type and features
└─>Intel Quark platform support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Select to include support for Quark X1000 SoC.
Say Y here if you have a Quark based system such as the Arduino
compatible Intel Galileo.