Update memory_hotplug.c