On Sat, 22 Oct 2016, Fenghua Yu wrote:
> +config INTEL_RDT_A
> +	bool "Intel Resource Director Technology Allocation support"
> +	default n
> +	depends on X86 && CPU_SUP_INTEL

depends on X86 is more than pointless for a config switch which sits in the
arch/x86/Kconfig file....

Thanks,

	tglx