[PATCH] Fix compilation with CONFIG_MEMORY_HOTPLUG=y and gcc41.