Random thought for the future: KPTI will make it possible to avoidglobal IPI broadcasts on kernel flushes as we discussed, incorrectly,two years ago at LPC. This could be nice.