CONFIG_ARM_PSCI_FW (not configurable)
modulename: psci.ko
configname: CONFIG_ARM_PSCI_FW
Linux Kernel Configuration
└─>Device Drivers
└─>Firmware Drivers
└─>ARM_PSCI_FW