zygo: move make-kernel to $HOME/bin

diff --git a/zygo/make-kernel b/zygo/make-kernel
deleted file mode 100755 (executable)
index 4a57b79..0000000
--- a/zygo/make-kernel
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-set -xP
-
-# Reread $PWD
-cd .
-
-# Count CPU threads
-procsOnln=$(getconf _NPROCESSORS_ONLN)
-
-# Set env vars (probably no longer used, except MAKEFLAGS)
-set -a
-MAKEFLAGS="EXTRAVERSION=$EXTRAVERSION -j$((procsOnln * 2)) -O"
-MODULE_LOC=$PWD/../modules
-INSTALLKERNEL=true
-KBUILD_DIR=$PWD
-KSRC=$PWD
-set +a
-
-time annotate-output make bindeb-pkg 2>&1 | tee make.log
-
-for x in ../modules/*/; do
-       (cd "$x" && time annotate-output fakeroot debian/rules binary_modules KDREV=1 2>&1 | tee make.log) &
-done
-
-wait