Delete build_mako_kernel.sh because it's now inside the kernel source