do CPU_DEAD migrating under read_lock(tasklist) instead of write_lock_irq(tasklist)