Problem: if another CPU is using lazy-TLB, the LDT flushing won't flush
the other CPU's LDT entry.

Fix: use active_mm instead of mm for the flush IPI.