Does any Linaro Jelly Bean build have working audio?

I have been given an Audio HAL library for vexpress and want to get it into our JB builds and was hoping to find an existing board with working audio to get some clues from it.

I'm a bit worried that since the move to JB logcat shows lots of lines like:

E/WVMExtractor( 1925): Failed to open libwvm.so

which seems to be related to attempts to play sound, so I'm guessing that we might be missing something important.