drivers/firmware: psci_checker: stash and use topology_core_cpumask for hotplug tests