# CONFIG_MLXREG_HOTPLUG is not set
