Update the kernel building script (for developers)

	Upgrade the script for building a kernel from the command
	line. This is not part of the official release, but can be
	convenient for developers.

	* build-kernel.sh: Add proper argument handling to allow control
	of the build.