improve build-kernel script