Tidy up kernel building.

	* build-kernel.sh: Some improvements for Linux 3.8.