CONFIG_POWER_RESET_VEXPRESS (not configurable)

modulename: vexpress-poweroff.ko

configname: CONFIG_POWER_RESET_VEXPRESS

Linux Kernel Configuration
└─>Device Drivers
└─>Power supply class support
└─>Board level reset or power off
└─>POWER_RESET_VEXPRESS
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Power off and reset support for the ARM Ltd. Versatile
Express boards.

source code:
drivers/power/reset/vexpress-poweroff.c