acpi_psci_present
if (acpi_psci_present())
if (!acpi_psci_present()) {
bool __init acpi_psci_present(void);