Added command line options to rebuild-kernel.sh