psci_features
int psci_features(uint32_t);
smccc_present = psci_features(SMCCC_VERSION) == PSCI_SUCCESS;