Modify build script.  For now use ./build-kernel