PCI: remove dead HOTPLUG_PCI_SHPC_PHPRM_LEGACY option.
This page took 0.15491 seconds and 4 git commands to generate.