ARM: 6279/1: highmem: fix SMP preemption bug in kmap_high_l1_vipt