config.in features patch from Giulio Orsero <giulioo@pobox.com>
with some minor edits from me
diff --git a/procps/config.in b/procps/config.in
index c1ef61e..94d76b6 100644
--- a/procps/config.in
+++ b/procps/config.in
@@ -9,11 +9,14 @@
 bool 'free'	    CONFIG_FREE
 bool 'kill'	    CONFIG_KILL
 bool 'killall'      CONFIG_KILLALL
-if [ "$CONFIG_KILLALL" = "y" ] ; then
-	define_bool CONFIG_KILL	y
+if [ "$CONFIG_KILLALL" = "y" -a "$CONFIG_KILL" = "n" ] ; then
+    define_bool CONFIG_KILL	y
 fi
 bool 'pidof'	    CONFIG_PIDOF
 bool 'ps'	    CONFIG_PS
+if [ "$CONFIG_PS" = "y" ] ; then
+    bool '  Use devps instead of /proc (needs a patched kernel)'	CONFIG_FEATURE_USE_DEVPS_PATCH
+fi
 bool 'renice'	    CONFIG_RENICE
 bool 'uptime'	    CONFIG_UPTIME
 endmenu