[PATCH] build fix: CONFIG_MEMORY_HOTPLUG=y on i386