$ cat /boot/config-$(uname -r) | grep -i hotplug
# Les lignes suivantes doivent être présentes
CONFIG_MEMORY_HOTPLUG=y
CONFIG_HOTPLUG_PCI=y
CONFIG_HOTPLUG_PCI_ACPI=y