Add time command to make
Used to figure out how long it takes to compile the kernel.
build.sh: adb push kernel.zip