Patch from Thomas Schlichter <schlicht@uni-mannheim.de>

Make flush_tlb_all() preempt-safe.  Same as the ia32 fix.