Added support for building kernel without modules to build_kernel.sh and tools/rebuild.sh