--- zzzz-none-000/linux-3.10.107/drivers/pci/pcie/Kconfig	2017-06-27 09:49:32.000000000 +0000
+++ vr9-7490-729/linux-3.10.107/drivers/pci/pcie/Kconfig	2021-11-10 11:53:55.000000000 +0000
@@ -26,6 +26,7 @@
 	  When in doubt, say N.
 
 source "drivers/pci/pcie/aer/Kconfig"
+source "drivers/pci/pcie/Kconfig.ifx"
 
 #
 # PCI Express ASPM