buildx_patch.diff

--- buildx.sh.ORIG	2013-07-03 19:44:42.836699269 +0100
+++ buildx.sh	2013-07-03 19:47:15.939764731 +0100
@@ -250,7 +250,7 @@
 
     # make module
     if [ ! -e cookies/$mod_name.made ]; then
-        if ! make -C build_dir/$mod_name
+        if ! make -j 1 -C build_dir/$mod_name
         then
             echo ""
             echo "make failed for module $mod_name"