+ edit "build_kernel.sh" ... use the name from "defconfig" for the filename ...