Raspberry Pi power domain driver

modulename: raspberrypi-power.ko

configname: CONFIG_RASPBERRYPI_POWER

Linux Kernel Configuration
└─>Device Drivers
└─>SOC (System On Chip) specific Drivers
└─>Broadcom SoC drivers
└─>Device Tree and Open Firmware support
└─>Raspberry Pi power domain driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This enables support for the RPi power domains which can be enabled
or disabled via the RPi firmware.

source code:
selects
CONFIG_PM_GENERIC_DOMAINS

depends
CONFIG_RASPBERRYPI_FIRMWARE
CONFIG_ARCH_BCM2835 or CONFIG_COMPILE_TEST
CONFIG_OF