Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision c993e4509b7e3c511044d8e7ecb0116eeb114012)
+++ kernel/Makefile	(revision 07bd231efdff7398a0c1e94cf90ea423ee6cee93)
@@ -94,8 +94,4 @@
 ifeq ($(CONFIG_VIRT_IDX_DCACHE),y)
 	DEFS += -DCONFIG_VIRT_IDX_DCACHE
-endif
-
-ifeq ($(CONFIG_POWEROFF),y)
-	DEFS += -DCONFIG_POWEROFF
 endif
 
@@ -161,4 +157,5 @@
 	generic/src/main/uinit.c \
 	generic/src/main/version.c \
+	generic/src/main/shutdown.c \
 	generic/src/proc/scheduler.c \
 	generic/src/proc/thread.c \