Delete vmlinux