CONFIG_ARM_PSCI_FW (not configurable)

modulename: psci.ko

configname: CONFIG_ARM_PSCI_FW

Linux Kernel Configuration
└─>Device Drivers
└─>Firmware Drivers
└─>ARM_PSCI_FW
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/firmware/psci/psci.c
is selected by
CONFIG_ARM_PSCI_CPUIDLE