config: update size information

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
diff --git a/editors/patch.c b/editors/patch.c
index eca6bc5..0ce0210 100644
--- a/editors/patch.c
+++ b/editors/patch.c
@@ -21,7 +21,7 @@
  * [file] which file to patch
  */
 //config:config PATCH
-//config:	bool "patch (9.1 kb)"
+//config:	bool "patch (9.4 kb)"
 //config:	default y
 //config:	help
 //config:	Apply a unified diff formatted patch.