Added build_kernel.sh to allow to easily build a kernel