linux/drivers/power/reset
..
Kconfig
Makefile
gpio-poweroff.c