[PATCH] edac_752x needs CONFIG_HOTPLUG