kernel-kit/build.sh : bugfix #487