# CONFIG_ARM_PSCI_CHECKER is not set