config: update size information

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
diff --git a/procps/pstree.c b/procps/pstree.c
index 4fda1c2..1d124d2 100644
--- a/procps/pstree.c
+++ b/procps/pstree.c
@@ -10,7 +10,7 @@
  * Licensed under GPLv2, see file LICENSE in this source tree.
  */
 //config:config PSTREE
-//config:	bool "pstree (9.4 kb)"
+//config:	bool "pstree (9.3 kb)"
 //config:	default y
 //config:	help
 //config:	Display a tree of processes.