I don't even think cartridge based games have midis in the exact midi format, but more like an console specific 'midi style' format. Just check vgmusic.com and see how many varieties exist on single songs, while they all aim to sound as authentic as possible.