x86/mm: Add barriers and document switch_mm()-vs-flush synchronization