CONFIG_ARCH_LOKI is not available for thedefaultarchitecture x86.
							 Result is shown for architecture arm 
						
					Marvell Loki (88RC8480)
configname: CONFIG_ARCH_LOKI
ARM system type
└─>Marvell Loki (88RC8480)
In linux kernel since version 2.6.27 (release Date: 2008-10-09)
							Support for the Marvell Loki (88RC8480) SoC.
						
							
						
						
					