# CONFIG_CRASH_HOTPLUG is not set
