Just formatting...
Revert "ARM: 7559/1: smp: switch away from the idmap before updating init_mm.mm_count"