Output of what build-kernel.sh should look like