Delete unneeded grub source files
Fix: grub4dos needs binfmt aout