Hello Markus,
We recently released a new SDK that now includes 3.12 kernel, so we have made the switch to device tree. There is a new page up for audio, which can found here. The introduction and porting sections should be helpful to you, even though it sounds like you are using community 3.8 based package. Let me know how it goes.
Regards,
Josh