linux/arch/powerpc/sysdev/xics/Kconfig