ARM Versatile Express power-off and reset driver

modulename: vexpress-poweroff.ko

configname: CONFIG_POWER_RESET_VEXPRESS

Linux Kernel Configuration
└─>Device Drivers
└─>Power supply class support
└─>Board level reset or power off
└─>ARM Versatile Express power-off and reset driver
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: