Avoid SMP cacheflushes. This is a minor optimization of startup but