ARM Versatile family reboot driver

modulename: arm-versatile-reboot.ko

configname: CONFIG_POWER_RESET_VERSATILE

Linux Kernel Configuration
└─>Device Drivers
└─>Board level reset or power off
└─>Device Tree and Open Firmware support
└─>ARM Versatile family reboot driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Power off and restart support for ARM Versatile family of
reference boards.

source code: