x86/Sandy Bridge: Sandy Bridge workaround depends on CONFIG_PCI