missing /dev/midi with CMI8738

[T.M. Sommers]

I am running 5.1RELEASE on an Asus A7A266 motherboard.  That board has
a built-in sound card.

The card is detected, I can play CDs, programs can emit sounds, but 
there is no midi device (even though /dev/sequencer is there), and 
some of the symbolic links that I understand are supposed to be there 
aren't.  Here is some relevant information:

-> cat /dev/sndstat
FreeBSD Audio Driver (newpcm)
Installed devices:
pcm0: <CMedia CMI8738> at io 0xd000 irq 9 (1p/1r/0v channels duplex
default)

-> dmesg | grep pcm
pcm0: <CMedia CMI8738> port 0xd000-0xd0ff irq 9 at device 5.0 on pci0

-> pciconf -lv
pcm0 at pci0:5:0:  class=0x040100 card=0x80e21043 chip=0x011113f6
rev=0x10 hdr=0x00
      vendor   = 'C-Media Electronics Inc.'
      device   = 'CMI8738/PCI C3DX PCI Audio Chip'
      class    = multimedia
      subclass = audio

-> ls -l /dev
crw-rw-rw-  1 root  wheel      30,   4 Oct 13 03:20 audio0.0
crw-rw-rw-  1 root  wheel      30, 0x00010004 Oct 13 03:20 audio0.1
crw-rw-rw-  1 root  wheel      30,   3 Oct 13 03:22 dsp0.0
crw-rw-rw-  1 root  wheel      30, 0x00010003 Oct 13 03:20 dsp0.1
crw-rw-rw-  1 root  wheel      30,   5 Oct 13 03:20 dspW0.0
crw-rw-rw-  1 root  wheel      30, 0x00010005 Oct 13 03:20 dspW0.1
crw-rw-rw-  1 root  wheel      30,  11 Oct 13 03:20 dspr0.0
crw-rw-rw-  1 root  wheel      30,   0 Oct 13 03:20 mixer0
lrwxr-xr-x  1 root  wheel            5 Oct 12 23:20 music@ -> music0
crw-rw-rw-  1 root  wheel      30,   8 Oct 13 03:20 music0
lrwxr-xr-x  1 root  wheel            9 Oct 12 23:20 sequencer@ ->
sequencer0
crw-rw-rw-  1 root  wheel      30,   1 Oct 13 03:20 sequencer0

I tried adding these lines to loader.conf, to no avail:

-> cat /boot/loader.conf
snd_pcm_load="YES"              # Digital sound subsystem
snd_cmi_load="YES"              # cmi

Another device is using irq 9, but that shouldn't be a problem, should it?

ohci0: <AcerLabs M5237 (Aladdin-V) USB controller> mem 
0xeb800000-0xeb800fff irq 9 at device 2.0 on pci0

Does anyone have any ideas about how to get midi working?  Thanks.