[RFC PATCH 5/6] ARM: vexpress: use the core cpu hotplug functions