Symbol: psci_acpi_init