--- tools/mki-build-propagator.orig	2012-07-22 01:45:23.000000000 +0400
+++ tools/mki-build-propagator.orig	2012-11-14 17:10:08.372983556 +0400
@@ -47,8 +47,11 @@ 
 
 rm -f /boot/full.cz
 
+[ ! -f "\$libdir/propagator/initfs" ] ||
+	cat "\$libdir/propagator/initfs" > /boot/full.cz
+
 [ ! -f /tmp/modules ] ||
-	cat "\$libdir/propagator/initfs" /tmp/modules > /boot/full.cz
+	cat /tmp/modules >> /boot/full.cz
 
 sed \
 	-e "s,@LIBDIR@,\$libdir," \