I haven't been following discussions elsewhere closely, but this commit to the raspberrypi/firmware repo over on github caught my eye.
https://github.com/raspberrypi/firmware/commit/3bf71e429299611f5e671a04026cd4d19afbb95b
Light at the end of the tunnel for people wanting more codec support for a media player perhaps ?