ARM: SMP: wait for CPU to be marked active