[PATCH] x86_64: Don't do broadcast IPIs when hotplug is enabled in flat mode.
tree768cfb8802e2c03e05bf1e15f36a0c5a6a039bd0
-rw-r--r-- 18691 COPYING
-rw-r--r-- 89317 CREDITS
drwxr-xr-x - Documentation
-rw-r--r-- 59203 MAINTAINERS
-rw-r--r-- 43332 Makefile
-rw-r--r-- 14542 README
-rw-r--r-- 3072 REPORTING-BUGS
drwxr-xr-x - arch
drwxr-xr-x - crypto
drwxr-xr-x - drivers
drwxr-xr-x - fs
drwxr-xr-x - include
drwxr-xr-x - init
drwxr-xr-x - ipc
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - net
drwxr-xr-x - scripts
drwxr-xr-x - security
drwxr-xr-x - sound
drwxr-xr-x - usr