Create makedebiankernel.sh