linux-stable-rt/arch/i386/xen/Kconfig