Symbol: psci_smp_available