Deterministic kernel build scripts, for Linux, mainly for Debian