Comment 2 for bug 986817

It is possible to load the alsa-sink device manually using the pulseaudio command line interface:

michael@quad:~$ pacmd
Welcome to PulseAudio! Use "help" for usage information.
>>> load-module module-alsa-sink device_id="0" rate=192000 channels=6 channel_map=left,right,aux0,aux1,aux2,aux3
>>>

Now the sound card is visible in the ubuntu sound configuration and the sound works.