Finit-alt listens to /dev/initctl

This allows us to use the standard reboot utility in Linux to perform
a fast reboot.

Signed-off-by: Claudio Matsuoka <cmatsuoka@gmail.com>

Makefile

@@ -30,6 +30,9 @@ CFLAGS += -march=pentium-m
 # Use built-in run-parts instead of /bin/run-parts
 CFLAGS += -DBUILTIN_RUNPARTS
 
+# Listen to /dev/initctl to handle reboot requests
+CFLAGS += -DLISTEN_INITCTL
+
 #### End of configurable parameters