I'm interested in this because of the work I am doing on I2S (Inter-IC-Sound). Audio files tend to be large, and the internal flash filesystem on the pyboard (112kB) can store less than 1 second of audio at 16-bit 44.1kHz stereo (CD quality). For the pyboard, this isn't an issue, as a multi-GB SD card can store hours of audio; but the pyboard doesn't have a built-in I2S audio codec. While I have designed and built a daughterboard for that - http://forum.micropython.org/viewtopic.php?f=5&t=917 I don't expect that I'll be able to make it widely available in the very near future

The STM32F4-DISCOVERY board does have an I2S codec built in, and I would love to use that as an example of I2S usage. Unfortunately, the Discovery board doesn't have an SD card slot built in. All of ST's examples for using I2S on the Discovery board use the USB port in Host mode to connect to a USB flash drive (via an unconventional cable as well…) If MicroPython had the ability to support USB MSC in Host mode, that would provide at least one avenue for working with I2S audio in MicroPython on a widely available platform.
-Bryan