Re: [PATCH] mach-ks8695/Kconfig: Make MACH_KS8695 depends on PCI