Converte arquivos MIDI para uso no GRUB
