[LSK PATCH] ARM: vexpress: tc2: fix hotplug/idle/kexec race on cluster power down