# CONFIG_HOTPLUG_PCI_SHPC_PHPRM_LEGACY is not set
# CONFIG_USB_STORAGE_ONETOUCH is not set
# CONFIG_SMP_ALTERNATIVES is not set