build-kernel.sh fix